Geometric approach to bisimulation and verification of hybrid systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 4, Issue , 1998, Pages 4277-4282

  Broucke, Mireille ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MATHEMATICAL MODELS; PROBLEM SOLVING; SET THEORY; THEOREM PROVING;

BISIMULATION; HYBRID SYSTEMS;

CONTROL SYSTEM ANALYSIS;

EID: 0032285269     PISSN: 01912216     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (9)