Towards a computer-aided design of reactive systems

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)

• Supervisory control and reactive synthesis: a comparative introduction
• Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design
• On the relation between reactive synthesis and supervisory control of non-terminating processes
• Design of reactive algorithms by solving equations over automata
• Circus Time with Reactive Designs
• Design and reactive systems and their distributed implementation with Statecharts
• Recent Trends in Algebraic Development Techniques
• Verification, Model Checking, and Abstract Interpretation
• Adapting behaviors via reactive synthesis
• Control of parameterized discrete event systems
• On the polynomial dynamic system approach to software development

This page was built for publication: Towards a computer-aided design of reactive systems

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