Efficient control synthesis for augmented finite transition systems with an application to switching protocols
Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu, Richard Murray

Citation
Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu, Richard Murray. "Efficient control synthesis for augmented finite transition systems with an application to switching protocols". Proc. American Control Conference (ACC), 4, June, 2014.

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.

Electronic downloads

Internal. This publication has been marked by the author for iCyPhy-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu, Richard
  Murray. <a
  href="http://www.icyphy.org/pubs/45.html"
  >Efficient control synthesis for augmented finite
  transition systems with an application to switching
  protocols</a>, Proc. American Control Conference
  (ACC), 4, June, 2014.

• Plain text

  Fei Sun, Necmiye Ozay, Eric M. Wolff, Jun Liu, Richard
  Murray. "Efficient control synthesis for augmented
  finite transition systems with an application to switching
  protocols". Proc. American Control Conference (ACC), 4,
  June, 2014.

• BibTeX

  @inproceedings{SunOzayWolffLiuMurray14_EfficientControlSynthesisForAugmentedFiniteTransition,
      author = {Fei Sun and Necmiye Ozay and Eric M. Wolff and Jun
                Liu and Richard Murray},
      title = {Efficient control synthesis for augmented finite
                transition systems with an application to
                switching protocols},
      booktitle = {Proc. American Control Conference (ACC)},
      day = {4},
      month = {June},
      year = {2014},
      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. },
      URL = {http://icyphy.org/pubs/45.html}
  }
  

Posted by Christopher Brooks on 24 Jun 2014.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.