The following pages link to Hybrid I/O automata. (Q1427865):
Displaying 38 items.
- A game-theoretic approach to fault diagnosis and identification of hybrid systems (Q391104) (← links)
- Control of cyberphysical systems using passivity and dissipativity based methods (Q397499) (← links)
- Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
- The cost of probabilistic agreement in oblivious robot networks (Q656601) (← links)
- Modeling and analysis of DNA replication (Q665142) (← links)
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- Understanding deadlock and livelock behaviors in hybrid control systems (Q924105) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Generalized interface automata with multicast synchronization (Q1633060) (← links)
- Cyber-physical systems (Q1699390) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Safety verification of interconnected hybrid systems using barrier certificates (Q1793125) (← links)
- A semantic model for interacting cyber-physical systems (Q2079682) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- Self-stabilizing gathering of mobile robots under crash or Byzantine faults (Q2204778) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Modeling and simulation of cardiac tissue using hybrid I/O automata (Q2271452) (← links)
- Modeling, analyzing and controlling hybrid systems by guarded flexible nets (Q2327605) (← links)
- Unwinding biological systems (Q2348024) (← 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)
- A Formal Model for a Hybrid Programming Language (Q2814619) (← links)
- Towards a Modeling Language for Cyber-Physical Systems (Q2842648) (← links)
- Relating Hybrid Chi to Other Formalisms (Q2864397) (← links)
- Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue (Q2870297) (← links)
- Hybrid Multirate PALS (Q2945702) (← links)
- The Cayley-Hamilton Theorem for Noncommutative Semirings (Q3073632) (← links)
- Rigorous Discretization of Hybrid Systems Using Process Calculi (Q3172859) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Verification of cooperating traffic agents (Q3442637) (← links)
- Progress-preserving Refinements of CTA (Q5009458) (← links)
- Topological Aspects of Hybrid Processes (Q5262960) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
