Integrating discrete controller synthesis into a reactive programming language compiler
From MaRDI portal
(Redirected from Publication:378902)
Recommendations
- Compositional synthesis with parametric reactive controllers
- A compositional framework for controller synthesis
- Formal controller synthesis from hybrid programs
- Language-guided controller synthesis for discrete-time linear systems
- Synthesizing reactive programs
- scientific article; zbMATH DE number 1822285
- Logic control and ``reactive systems: algorithmization and programming
- Programmed constructions for control synthesis problems
- Verification and synthesis of reactive programs
Cites work
- scientific article; zbMATH DE number 1956553 (Why is no real title available?)
- scientific article; zbMATH DE number 1383199 (Why is no real title available?)
- scientific article; zbMATH DE number 5499378 (Why is no real title available?)
- CONCUR 2005 – Concurrency Theory
- Formal Methods in Software and Systems Modeling
- Programming with angelic nondeterminism
- Some model theory of sheaves of modules
- Structural decentralised control of concurrent discrete-event systems
- Supervisory Control of a Class of Discrete Event Processes
- Synchronous and Bidirectional Component Interfaces
- Synthesis of discrete-event controllers based on the signal environment
- The theory of deadlock avoidance via discrete control
Cited in
(2)
This page was built for publication: Integrating discrete controller synthesis into a reactive programming language compiler
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q378902)