Please use this identifier to cite or link to this item:
|Title:||An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications|
linear temporal logic
|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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 10, 2017
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.