Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1911.01267
Cited By
v1
v2 (latest)
Formal composition of hybrid systems
Theory and Applications of Categories (TAC), 2019
4 November 2019
Jared Culbertson
Paul Gustafson
D. Koditschek
Peter F. Stiller
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Formal composition of hybrid systems"
4 / 4 papers shown
Hybrid dynamical type theories for navigation
Paul Gustafson
Jared Culbertson
D. Koditschek
113
0
0
17 Aug 2021
Poincaré-Hopf theorem for hybrid systems
Matthew D. Kvalheim
87
2
0
17 Aug 2021
Necessary conditions for feedback stabilization and safety
The Journal of Geometric Mechanics (J. Geom. Mech.), 2021
Matthew D. Kvalheim
D. Koditschek
105
11
0
01 Jun 2021
Yoneda Hacking: The Algebra of Attacker Actions
Georgios Bakirtzis
F. Genovese
C. Fleming
AAML
154
6
0
26 Feb 2021
1
