scientific article; zbMATH DE number 2000429

zbMATH Open1023.93511MaRDI QIDQ4433972FDOQ4433972

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

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

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

Mathematics Subject Classification ID

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

Cited In (11)

• Recent Trends in Algebraic Development Techniques
• Adapting behaviors via reactive synthesis
• On the relation between reactive synthesis and supervisory control of non-terminating processes
• Verification, Model Checking, and Abstract Interpretation
• Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design
• Title not available (Why is that?)
• Supervisory control and reactive synthesis: a comparative introduction
• Circus Time with Reactive Designs
• On the polynomial dynamic system approach to software development
• 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)