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

id	sg-nus-scholar.10635-55033
record_format	dspace
spelling	sg-nus-scholar.10635-550332024-11-10T17:32:25Z An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications Sun, Y. Lin, H. Chen, B.M. ELECTRICAL & COMPUTER ENGINEERING automatic synthesis hybrid systems linear temporal logic multi-affine functions 10.1080/00207179.2012.689862 International Journal of Control 85 10 1464-1476 IJCOA 2014-06-17T02:38:24Z 2014-06-17T02:38:24Z 2012-10-01 Article Sun, Y., Lin, H., Chen, B.M. (2012-10-01). An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications. International Journal of Control 85 (10) : 1464-1476. ScholarBank@NUS Repository. https://doi.org/10.1080/00207179.2012.689862 00207179 http://scholarbank.nus.edu.sg/handle/10635/55033 000308300800006 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	automatic synthesis hybrid systems linear temporal logic multi-affine functions
spellingShingle	automatic synthesis hybrid systems linear temporal logic multi-affine functions Sun, Y. Lin, H. Chen, B.M. An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
description	10.1080/00207179.2012.689862
author2	ELECTRICAL & COMPUTER ENGINEERING
author_facet	ELECTRICAL & COMPUTER ENGINEERING Sun, Y. Lin, H. Chen, B.M.
format	Article
author	Sun, Y. Lin, H. Chen, B.M.
author_sort	Sun, Y.
title	An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
title_short	An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
title_full	An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
title_fullStr	An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
title_full_unstemmed	An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
title_sort	input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/55033
_version_	1821233397737979904

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

Similar Items