Deriving Real-Time Action Systems Controllers from Multiscale System Specifications

DOI10.1007/978-3-642-31113-0_7MaRDI QIDQ2908563zbMATH OpenOpenAlexFDO

Authors Brijesh Dongol, Ian Hayes

Publication date 5 September 2012

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

Full work available at URL https://doi.org/10.1007/978-3-642-31113-0_7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Controller synthesis made real: reach-avoid specifications and linear dynamics
• Multi-layered abstraction-based controller synthesis for continuous-time systems
• scientific article; zbMATH DE number 4211895
• Real-time specification and modeling with joint actions
• scientific article; zbMATH DE number 1487946
• A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
• Verification, performance analysis and controller synthesis for real-time systems
• A System-Level Approach to Controller Synthesis
• Controller synthesis for dynamic hierarchical real-time plants using timed automata

Cites work

• scientific article; zbMATH DE number 1696508 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 1330044 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 2102707 (Why is no real title available?)
• A timeband framework for modelling real-time systems
• Compositional action system derivation using enforced properties
• Compositional action system refinement
• Continuous Action System Refinement
• Duration calculus. A formal approach to real-time systems.
• Guarded commands, nondeterminacy and formal derivation of programs
• Hybrid action systems
• Prefix and projection onto state in duration calculus
• Refinement Calculus
• Refinement of time
• Robust safety of timed automata
• Streamlining progress-based derivations of concurrent programs

Cited in

(4)

• Real-time specification and modeling with joint actions
• Reasoning about goal-directed real-time teleo-reactive programs
• Towards an algebra for real-time programs
• A timeband framework for modelling real-time systems

This page was built for publication: Deriving Real-Time Action Systems Controllers from Multiscale System Specifications

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