scientific article; zbMATH DE number 2000429

MaRDI QIDQ4433972zbMATH OpenFDO

Authors Marc Frappier, Richard St-Denis

Publication date 3 November 2003

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

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Verification and synthesis of reactive programs
• On the relation between reactive synthesis and supervisory control of non-terminating processes
• Bounded synthesis of reactive programs
• Synthesizing reactive programs
• Synthesis of Reactive(1) designs

Cited in

(11)

• Adapting behaviors via reactive synthesis
• On the relation between reactive synthesis and supervisory control of non-terminating processes
• Recent Trends in Algebraic Development Techniques
• Verification, Model Checking, and Abstract Interpretation
• Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design
• Supervisory control and reactive synthesis: a comparative introduction
• scientific article; zbMATH DE number 1277093 (Why is no real title available?)
• On the polynomial dynamic system approach to software development
• Circus Time with Reactive Designs
• Design of reactive algorithms by solving equations over automata
• Control of parameterized discrete event systems

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