scientific article; zbMATH DE number 1487476

zbMath1037.93522MaRDI QIDQ4493880

Karine Altisen, Stavros Tripakis

Publication date: 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Model systems in control theory (93C99)

Related Items (18)

Model Checking Real-Time Systems ⋮ Design of decentralized critical observers for networks of finite state machines: a formal method approach ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ A survey of timed automata for the development of real-time systems ⋮ CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems ⋮ Symbolic synthesis of masking fault-tolerant distributed programs ⋮ Timed Control with Observation Based and Stuttering Invariant Strategies ⋮ Synthesizing bounded-time 2-phase fault recovery ⋮ Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: the existence conditions ⋮ Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions ⋮ Symbolic control design of nonlinear systems with outputs ⋮ Verifying untimed and timed aspects of the experimental batch plant ⋮ Diagnostic Information for Realizability ⋮ Approximately bisimilar symbolic models for nonlinear control systems ⋮ Logical time control of concurrent DES ⋮ Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems ⋮ Non-Interference Control Synthesis for Security Timed Automata ⋮ The complexity of automated addition of fault-tolerance without explicit legitimate states

This page was built for publication: