The following pages link to (Q4793011):
Displayed 3 items.
- Toward unified analysis and controller synthesis for a class of hybrid systems (Q854127) (← links)
- Interconnection of port-Hamiltonian systems and composition of Dirac structures (Q869067) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)