A Class of Rectangular Hybrid Systems with Computable Reach Set

Authors:
Mikhail Kourjanski;Pravin Varaiya
Affiliations:
-;-
Venue:
Hybrid Systems IV
Year:
1997

Citing 0
Cited 1

Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata

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

Quantified Score

Hi-index	0.00

Visualization

Abstract