scientific article; zbMATH DE number 177246

MaRDI QIDQ4037097zbMATH OpenFDO

Authors Howard Wong-Toi, David L. Dill

Publication date 18 May 1993

zbMATH Keywords

real-time scheduling\(\omega\)-regular languagesreal-time processestemporal specifications of reactive systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 177523
• Verification and synthesis of reactive programs
• Synthesis of Asynchronous Systems
• scientific article; zbMATH DE number 1497853
• Synthesis for temporal logic over the reals

Cited in

(10)

• Effective strategies for enumeration games
• Synthesis of communicating process skeletons from temporal-spatial logic specifications
• Supervisory control and reactive synthesis: a comparative introduction
• scientific article; zbMATH DE number 5149070 (Why is no real title available?)
• scientific article; zbMATH DE number 2088657 (Why is no real title available?)
• From the Specification to the Scheduling of Time-Dependent Systems
• scientific article; zbMATH DE number 177523 (Why is no real title available?)
• Automatic synthesis of a subclass of schedulers in timed systems.
• Synthesis for temporal logic over the reals
• Synthesizing synchronous systems by static scheduling in space-time

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 Q4037097)