On a class of timer hybrid systems reducible to finite state automata

DOI10.1007/BF01438608zbMath0819.93002OpenAlexW2024861279MaRDI QIDQ1842525

Kemal İnan

Publication date: 8 August 1995

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01438608

zbMATH Keywords

time-dependent

Mathematics Subject Classification ID

Formal languages and automata (68Q45) System structure simplification (93B11) General systems (93A10)

Related Items

System theory for system identification.

Cites Work

• Minimum and maximum delay problems in real-time systems
• Using mappings to prove timing properties
• Symbolic model checking for real-time systems
• A really temporal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item