Corpus ID: 207870224

Formal composition of hybrid systems

  title={Formal composition of hybrid systems},
  author={J. Culbertson and Paul Gustafson and D. Koditschek and P. F. Stiller},
  • J. Culbertson, Paul Gustafson, +1 author P. F. Stiller
  • Published 2019
  • Computer Science, Mathematics
  • ArXiv
  • We develop a compositional framework for formal synthesis of hybrid systems using the language of category theory. More specifically, we provide mutually compatible tools for hierarchical, sequential, and independent parallel composition. In our framework, hierarchies of hybrid systems correspond to template-anchor pairs, which we model as spans of subdividing and embedding semiconjugacies. Hierarchical composition of template-anchor pairs corresponds to the composition of spans via pullback… CONTINUE READING

    Figures from this paper.


    Arrows, Robots, and Functional Reactive Programming
    • 224
    • PDF
    Bisimulation relations for dynamical, control, and hybrid systems
    • 130
    • PDF
    Bisimulation from Open Maps
    • 298
    • PDF
    A Formalization of the IWIM Model
    • 25
    Dynamical properties of hybrid automata
    • 787
    • PDF
    A category of hybrid systems
    • 3
    • Highly Influential
    • PDF
    Networks of hybrid open systems
    • 3
    • Highly Influential
    • PDF
    A hybrid systems model for simple manipulation and self-manipulation systems
    • 52
    • PDF