Using controller-synthesis techniques to build property-enforcing layers

DOI10.1007/3-540-36575-3_13MaRDI QIDQ4417893zbMATH OpenFDO

Authors Karine Altisen, Aurélie Clodic, Florence Maraninchi, E. Rutten

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2618/26180174.htm

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Artificial intelligence for robotics (68T40) Discrete event control/observation systems (93C65) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• On Synthesizing Controllers from Bounded-Response Properties
• Compositional synthesis with parametric reactive controllers
• Synthesis of control software in a layered architecture from hybrid automata
• Synthesis of Reo connectors for strategies and controllers
• Template-based controller synthesis for timed systems

Cited in

(3)

• Automating the addition of fault tolerance with discrete controller synthesis
• WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model
• Integrating discrete controller synthesis into a reactive programming language compiler

This page was built for publication: Using controller-synthesis techniques to build property-enforcing layers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417893)