Integrating discrete controller synthesis into a reactive programming language compiler

DOI10.1007/S10626-013-0163-5zbMATH Open1273.93111OpenAlexW2033590510WikidataQ122717238 ScholiaQ122717238MaRDI QIDQ378902FDOQ378902

H. Marchand, Gwenaël Delaval, 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

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

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)

Cites Work

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

Cited In (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

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)