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

DOI10.1007/BF01438608MaRDI QIDQ1842525zbMATH OpenOpenAlexFDO

Authors 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) General systems (93A10) System structure simplification (93B11)

Cites work

• A really temporal logic
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 176728 (Why is no real title available?)
• scientific article; zbMATH DE number 177248 (Why is no real title available?)
• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• scientific article; zbMATH DE number 795181 (Why is no real title available?)
• Minimum and maximum delay problems in real-time systems
• Symbolic model checking for real-time systems
• Using mappings to prove timing properties

Cited in

(1)

• System theory for system identification.

This page was built for publication: On a class of timer hybrid systems reducible to finite state automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1842525)