Modular, Hierarchical Models of Control Systems in SpaceEx
Alexandre Donze, Goran Frehse

Citation
Alexandre Donze, Goran Frehse. "Modular, Hierarchical Models of Control Systems in SpaceEx". Proceedings of European Control Conference 2013, July, 2013.

Abstract
The Hybrid I/O-automaton (HIOA) is a rigorous formal model designed for the analysis of complex hybrid(discrete-continuous) dynamical systems. The use of the HIOA formalism renders compositional reasoning possible, in the sense that once a property has been established for an automaton, it still holds if the automaton is composed with other automata. In this paper, it is shown how control systems can be modeled and verified in SpaceEx as HIOA in a modular fashion. Formally, HIOA models distinguish between controlled and uncontrolled variables.With examples and usage guidelines, they are related to the concepts of input/output and state/algebraic variables most control designers are familiar with. Additionally, the applicability of HIOA is enlarged by allowing variables to be controlled in more than one automaton. While this invalidates compositionality, it gives users who do not intend to use compositional reasoning more freedom in their modeling choices. Finally, it is shown how control systems given by semi-explicit differential algebraic equations can be algorithmically brought to the form understood by the SpaceEx reachability algorithm.

Electronic downloads

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

Citation formats

• HTML

  Alexandre Donze, Goran Frehse. <a
  href="http://www.terraswarm.org/pubs/59.html"
  >Modular, Hierarchical Models of Control Systems in
  SpaceEx</a>, Proceedings of European Control
  Conference 2013, July, 2013.

• Plain text

  Alexandre Donze, Goran Frehse. "Modular, Hierarchical
  Models of Control Systems in SpaceEx". Proceedings of
  European Control Conference 2013, July, 2013.

• BibTeX

  @inproceedings{DonzeFrehse13_ModularHierarchicalModelsOfControlSystemsInSpaceEx,
      author = {Alexandre Donze and Goran Frehse},
      title = {Modular, Hierarchical Models of Control Systems in
                SpaceEx},
      booktitle = {Proceedings of European Control Conference 2013},
      month = {July},
      year = {2013},
      abstract = {The Hybrid I/O-automaton (HIOA) is a rigorous
                formal model designed for the analysis of complex
                hybrid(discrete-continuous) dynamical systems. The
                use of the HIOA formalism renders compositional
                reasoning possible, in the sense that once a
                property has been established for an automaton, it
                still holds if the automaton is composed with
                other automata. In this paper, it is shown how
                control systems can be modeled and verified in
                SpaceEx as HIOA in a modular fashion. Formally,
                HIOA models distinguish between controlled and
                uncontrolled variables.With examples and usage
                guidelines, they are related to the concepts of
                input/output and state/algebraic variables most
                control designers are familiar with. Additionally,
                the applicability of HIOA is enlarged by allowing
                variables to be controlled in more than one
                automaton. While this invalidates
                compositionality, it gives users who do not intend
                to use compositional reasoning more freedom in
                their modeling choices. Finally, it is shown how
                control systems given by semi-explicit
                differential algebraic equations can be
                algorithmically brought to the form understood by
                the SpaceEx reachability algorithm.},
      URL = {http://terraswarm.org/pubs/59.html}
  }
  

Posted by Mila MacBain on 9 May 2013.