Browse wiki
From MurrayWiki
Efficient control synthesis for augmented finite transition systems with an application to switching protocols |
Abstract |
ugmented finite transition systems general … ugmented finite transition systems generalize nondeterministic transition systems with additional liveness conditions. We propose efficient algorithms for synthesizing control protocols for augmented finite transition systems to satisfy high-level specifications expressed in a fragment of linear temporal logic (LTL). We then use these algorithms within a framework for switching protocol synthesis for discrete-time dynamical systems, where augmented finite transition systems are used for abstracting the underlying dynamics. We introduce a notion of minimality for abstractions of certain fidelity and show that such minimal abstractions can be exactly computed for switched affine systems. Additionally, based on this framework, we present a procedure for computing digitally implementable switching protocols for continuous-time systems. The effectiveness of the proposed framework is illustrated through two examples of temperature control for buildings. ples of temperature control for buildings. +
|
---|---|
Authors | Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu and Richard M. Murray + |
Funding | ICyPhy: Industrial Cyber-Physical Systems + , Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems + |
ID | 2013j + |
Source | Submitted, 2014 American Control Conference (ACC) + |
Tag | sun+14-acc + |
Title | Efficient control synthesis for augmented finite transition systems with an application to switching protocols + |
Type | Conference Paper + |
Categories | Papers |
Modification date This property is a special property in this wiki.
|
15 May 2016 06:15:08 + |
URL This property is a special property in this wiki.
|
http://www.cds.caltech.edu/~murray/preprints/sun+14-acc_s.pdf + |
hide properties that link here |
Efficient control synthesis for augmented finite transition systems with an application to switching protocols + | Title |
---|