The following pages link to Hybrid I/O automata. (Q1427865):
Displayed 14 items.
- Understanding deadlock and livelock behaviors in hybrid control systems (Q924105) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Modeling and simulation of cardiac tissue using hybrid I/O automata (Q2271452) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- Linearization of hybrid processes (Q2368694) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- On the stability and performance of discrete event methods for simulating continuous systems (Q2462493) (← links)
- Uniform stabilization of discrete-time switched and Markovian jump linear systems (Q2491903) (← links)
- Verification of cooperating traffic agents (Q3442637) (← links)
- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions (Q3523102) (← links)
- Finite Automata as Time-Inv Linear Systems Observability, Reachability and More (Q3624572) (← links)
- Periodically Controlled Hybrid Systems (Q3624588) (← links)