Paper Info
Title
Efficient control synthesis for augmented finite transition systems with an application to switching protocols
Abstract
Augmented 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.
Year
DOI
Venue
2014
10.1109/ACC.2014.6859428
ACC
Keywords
Field
DocType
nondeterministic transition system,switched affine system,switching protocols,temperature control,augmented finite transition system,time-varying systems,discrete-time switched system,control system synthesis,automata,switched systems,continuous time systems,linear temporal logic,discrete time systems,temporal logic,hierarchical control,switching protocol synthesis,continuous-time system,high-level specifications,control synthesis,discrete-time dynamical system,switches,protocols
Control theory,Computer science,Automaton,Control engineering,Time-invariant system,Discrete system,Control synthesis
Conference
ISSN
Citations 
PageRank 
0743-1619
3
0.45
References 
Authors
10
5
Name
Order
Citations
PageRank
Fei Sun130.45
Necmiye Ozay239041.51
Eric M. Wolff3161.90
Jun Liu4834.85
Richard M. Murray5123221223.70