Analysis of hybrid systems: An ounce of realism can save an infinity of states

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1683, Issue , 1999, Pages 126-140

  Fränzle, Martin ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

Decision; Hybrid systems; Verification

Indexed keywords

AUTOMATA THEORY; COMPUTER CIRCUITS; DISCRETE TIME CONTROL SYSTEMS; HYBRID SYSTEMS; SAFETY ENGINEERING; VERIFICATION;

AUTOMATIC VERIFICATION; DECISION; DECISION PROCEDURE; DISCRETE-CONTINUOUS SYSTEMS; ENGINEERING AND COMPUTER SCIENCE; LINEAR HYBRID AUTOMATA; SEMI-DECISION PROCEDURES; STATE REACHABILITY;

COMPUTER CONTROL SYSTEMS;

EID: 84956855629     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48168-0_10     Document Type: Conference Paper

References (0)