Automatica · 1999 · 219 citations · 16 references
EngineeringMathematicsSystems EngineeringComplex SystemsDynamical SystemsSystems ModelingControl Of Dynamical SystemsControl System DesignControl SystemsControl TheoryController DesignHybrid SystemsControllabilityHybrid System StabilitySystem Controllability
16
What's decidable about hybrid automata?
Thomas A. Henzinger, Peter W. Kopke, Anuj Puri et al. · 1995 · 521 citations · Full text