Hybrid I/O Automata

Authors:
N. Lynch;R. Segala;F. Vaandrager;H. B. Weinberg
Affiliations:
-;-;-;-
Venue:
Hybrid I/O Automata
Year:
1995

Citing 0
Cited 2

Hybrid dynamic systems: relating Chi to hybrid automata

Proceedings of the 35th conference on Winter simulation: driving innovation
Using Abstraction in the Verification of Simulation Coercion

Proceedings of the 20th Workshop on Principles of Advanced and Distributed Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract