Formal composition of hybrid systems
From MaRDI portal
Abstract: 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. To model sequential composition, we introduce "directed hybrid systems," each of which flows from an initial subsystem to a final subsystem in a Conley-theoretic sense. Sequential composition of directed systems is given by a pushout of graph embeddings, rewriting the continuous dynamics of the overlapping subsystem to prioritize the second directed system. Independent parallel composition corresponds to a categorical product with respect to semiconjugacy. To formalize the compatibility of these three types of composition, we construct a vertically cartesian double category of hybrid systems where the vertical morphisms are semiconjugacies, and the horizontal morphisms are directed hybrid systems.
Recommendations
Cites work
- Attractors: Persistence, and Density of Their Basins
- Bisimulation from open maps
- Bisimulation relations for dynamical, control, and hybrid systems
- Category theory in context
- Catégories structurées
- Dynamical properties of hybrid automata
- Global linearization and fiber bundle structure of invariant manifolds
- scientific article; zbMATH DE number 4133575 (Why is no real title available?)
- scientific article; zbMATH DE number 46995 (Why is no real title available?)
- scientific article; zbMATH DE number 48990 (Why is no real title available?)
- scientific article; zbMATH DE number 48095 (Why is no real title available?)
- scientific article; zbMATH DE number 3616736 (Why is no real title available?)
- scientific article; zbMATH DE number 1107620 (Why is no real title available?)
- scientific article; zbMATH DE number 194534 (Why is no real title available?)
- scientific article; zbMATH DE number 1389226 (Why is no real title available?)
- scientific article; zbMATH DE number 1444368 (Why is no real title available?)
- Hybrid dynamical systems
- Legged robots
- Nonlinear dynamics and chaos. With applications to physics, biology, chemistry, and engineering
- On the concept of attractor
- On the concept of attractor: correction and remarks
- Planning Algorithms
- Stability theory for ordinary differential equations
- STRIPS: A new approach to the application of theorem proving to problem solving
- Synthetic differential geometry
- Temporal logic motion planning for dynamic robots
- The Dynamics of Legged Locomotion: Models, Analyses, and Challenges
Cited in
(13)- Syntax and semantics of the compositional interchange format for hybrid systems
- Necessary conditions for feedback stabilization and safety
- Compositionality issues in discrete, continuous, and hybrid systems
- Composition of Motion Description Languages
- scientific article; zbMATH DE number 1956632 (Why is no real title available?)
- scientific article; zbMATH DE number 1507211 (Why is no real title available?)
- Superposition principle in composable hybrid automata
- scientific article; zbMATH DE number 2085342 (Why is no real title available?)
- Conley's fundamental theorem for a class of hybrid systems
- A compositional sheaf-theoretic framework for event-based systems
- Hybrid Systems: Computation and Control
- Cartan calculus for C^-ringed spaces
- Categorical semantics of compositional reinforcement learning
This page was built for publication: Formal composition of hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5129226)
