Verification, performance analysis and controller synthesis for real-time systems

DOI10.1007/978-3-642-11623-0_2MaRDI QIDQ3400913zbMATH OpenOpenAlexFDO

Authors Uli Fahrenberg, Claus Thrane, Kim G. Larsen

Publication date 28 January 2010

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model-based verification, optimization, synthesis and performance evaluation of real-time systems
• scientific article; zbMATH DE number 2102690
• scientific article; zbMATH DE number 1507209
• On the synthesis of discrete controllers for timed systems
• Model Checking Real-Time Systems

Cited in

(16)

• Model-based verification, optimization, synthesis and performance evaluation of real-time systems
• Verification and Integration of Real-Time Control Software
• Real-Time Control of Dense-Time Systems Using Digital-Clocks
• Real-time semantics of state transition for embedded control systems
• Reachability analysis for timed automata using max-plus algebra
• On the synthesis of discrete controllers for timed systems
• Formal verification of multitasking applications based on timed automata model
• Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
• Incremental verification for on-the-fly controller synthesis
• Verification of continuous dynamical systems by timed automata
• High-confidence control: Ensuring reliability in high-performance real-time systems
• Formal verification of discrete real-time systems
• Integrated environment for designing real-time control algorithms
• A menagerie of timed automata
• Controller synthesis for dynamic hierarchical real-time plants using timed automata
• Kronos: A verification tool for real-time systems

Describes a project that uses

Uses Software

• UPPAAL TIGA
• Uppaal
• GEZEL

This page was built for publication: Verification, performance analysis and controller synthesis for real-time systems

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