Exploiting implicit representations in timed automaton verification for controller synthesis

DOI10.1007/3-540-45873-5_19MaRDI QIDQ4736587zbMATH OpenFDO

Authors Robert P. Goldman, David J. Musliner, Michael J. S. Pelican

Publication date 9 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2289/22890225.htm

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Incremental verification for on-the-fly controller synthesis
• Template-based controller synthesis for timed systems
• On the synthesis of discrete controllers for timed systems
• Logical time control of concurrent DES
• Controller synthesis for dynamic hierarchical real-time plants using timed automata

Describes a project that uses

Uses Software

• Kronos

This page was built for publication: Exploiting implicit representations in timed automaton verification for controller synthesis

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