Formal composition of hybrid systems

zbMath1448.18005arXiv1911.01267MaRDI QIDQ5129226

Daniel E. Koditschek, Peter F. Stiller, Paul Gustafson, Jared Culbertson

Publication date: 26 October 2020

Full work available at URL: https://arxiv.org/abs/1911.01267

zbMATH Keywords

semiconjugacyhybrid dynamical systemdouble category

Mathematics Subject Classification ID

Categories of machines, automata (18B20) 2-categories, bicategories, double categories (18N10)

Related Items (2)

Necessary conditions for feedback stabilization and safety ⋮ Conley's Fundamental Theorem for a Class of Hybrid Systems

Cites Work

• Temporal logic motion planning for dynamic robots
• On the concept of attractor
• On the concept of attractor: correction and remarks
• Bisimulation from open maps
• Stability theory for ordinary differential equations
• STRIPS: A new approach to the application of theorem proving to problem solving
• Bisimulation relations for dynamical, control, and hybrid systems
• Legged robots
• Attractors: Persistence, and Density of Their Basins
• Global linearization and fiber bundle structure of invariant manifolds
• Dynamical properties of hybrid automata
• Catégories structurées
• Hybrid dynamical systems
• The Dynamics of Legged Locomotion: Models, Analyses, and Challenges
• Planning Algorithms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal composition of hybrid systems