An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications

An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications

10.1080/00207179.2012.689862

Saved in:
Bibliographic Details
Main Authors: Sun, Y., Lin, H., Chen, B.M.
Other Authors: ELECTRICAL & COMPUTER ENGINEERING
Format: Article
Published: 2014
Subjects:
automatic synthesis
hybrid systems
linear temporal logic
multi-affine functions
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

Internet

http://scholarbank.nus.edu.sg/handle/10635/55033

Similar Items