An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
10.1080/00207179.2012.689862
Saved in:
Main Authors: | Sun, Y., Lin, H., Chen, B.M. |
---|---|
Other Authors: | ELECTRICAL & COMPUTER ENGINEERING |
Format: | Article |
Published: |
2014
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/55033 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
AUTOMATED TEMPORAL LOGIC SYNTHESIS OF TIME SERIES DATA AND ITS APPLICATIONS
by: ZHOU JUN
Published: (2019) -
Towards formal modelling and verification of pervasive computing systems
by: LIU, Yan, et al.
Published: (2014) -
Automata on ordinals and automaticity of linear orders
by: Schlicht, P., et al.
Published: (2014) -
Distributed adaptive affine formation control for heterogeneous linear networked systems
by: Xu, Y., et al.
Published: (2021) -
ENERGY RESILIENCE WITH INPUT-OUTPUT LINEAR PROGRAMMING MODELS
by: HE PEIJUN
Published: (2017)