A Toolbox for Proving and Maintaining Hybrid Specifications

Authors:
Michael S. Branicky;Ekaterina Dolginova;Nancy A. Lynch
Affiliations:
-;-;-
Venue:
Hybrid Systems IV
Year:
1997

Citing 0
Cited 3

Dynamical Systems Revisited: Hybrid Systems with Zeno Executions

HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Hybrid I/O automata

Information and Computation
Controllers for reachability specifications for hybrid systems

Automatica (Journal of IFAC)

Quantified Score

Hi-index	0.00

Visualization

Abstract