Integrating discrete controller synthesis into a reactive programming language compiler

DOI10.1007/S10626-013-0163-5zbMath1273.93111OpenAlexW2033590510WikidataQ122717238 ScholiaQ122717238MaRDI QIDQ378902

Hervé Marchand, Gwenaël Delaval, Éric 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) Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items (2)

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

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Synthesis of discrete-event controllers based on the signal environment
• Structural decentralised control of concurrent discrete-event systems
• Supervisory Control of a Class of Discrete Event Processes
• Synchronous and Bidirectional Component Interfaces
• Programming with angelic nondeterminism
• The theory of deadlock avoidance via discrete control
• Some model theory of sheaves of modules
• Formal Methods in Software and Systems Modeling
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Integrating discrete controller synthesis into a reactive programming language compiler