Please use this identifier to cite or link to this item: https://doi.org/10.1080/00207179.2012.689862
Title: An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
Authors: Sun, Y.
Lin, H.
Chen, B.M. 
Keywords: automatic synthesis
hybrid systems
linear temporal logic
multi-affine functions
Issue Date: 1-Oct-2012
Source: 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
Abstract: This article presents an input-output simulation approach to controlling multi-affine systems for linear temporal logic (LTL) specifications, which consists of the following steps. First, the state space is partitioned into rectangles, each of which satisfies atomic LTL propositions. Then, we study the control of multi-affine systems on rectangles, including the control based on the exit sub-region to drive all trajectories starting from a rectangle to exit through a facet and the control to stabilise the multi-affine system towards a desired point. With the proposed controllers, a finitely abstracted transition system is constructed which is shown to be input-output simulated by the rectangular transition system of the multi-affine system. Since the input-output simulation preserves LTL properties, the controller synthesis of the multi-affine system for LTL specifications is achieved by designing a nonblocking supervisor for the abstracted transition system and by implementing the resulting supervisor to the original multi-affine system. © 2012 Taylor & Francis Group, LLC.
Source Title: International Journal of Control
URI: http://scholarbank.nus.edu.sg/handle/10635/55033
ISSN: 00207179
DOI: 10.1080/00207179.2012.689862
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

26
checked on Dec 10, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.