Integrating discrete controller synthesis into a reactive programming language compiler

DOI10.1007/S10626-013-0163-5MaRDI QIDQ378902zbMATH OpenOpenAlexWikidataFDO

Authors Gwenaël Delaval, H. Marchand, E. Rutten

Publication date 12 November 2013

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-00863286/file/jdeds.pdf

zbMATH Keywords

compilationreactive systemsadaptive/reconfigurable systemsbehavioral contractsdiscrete control synthesissynchronous programming

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Synthesis problems (93B50) Discrete event control/observation systems (93C65)

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)

• Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
• Synthesizing structural and behavioral control for reconfigurations in component-based systems

Describes a project that uses

Uses Software

• UMDES

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)