scientific article; zbMATH DE number 2085327

zbMATH Open1044.93519MaRDI QIDQ4736587FDOQ4736587

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

Publication date: 9 August 2004

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

Title of this publication is not available (Why is that?)

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

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)

Uses Software

• Kronos

This page was built for publication:

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