Home /Research /The Symbolic Approach to Hybrid Systems
OTHER

The Symbolic Approach to Hybrid Systems

Thomas A. Henzinger

Year
2002
Citations
2
Access
Open access

Keywords

Hybrid systemComponent (thermodynamics)Computer scienceTheoretical computer scienceDiscretizationDynamical systems theoryState (computer science)Finite-state machineSequence (biology)Concurrency

Related papers

Browse all OTHER papers