Model measuring for discrete and hybrid systems

DOI10.1016/J.NAHS.2016.09.001MaRDI QIDQ2374564zbMATH OpenOpenAlexFDO

Authors Thomas A. Henzinger, Jan Otop

Publication date 15 December 2016

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.nahs.2016.09.001

zbMATH Keywords

weighted automataquantitative model checkingmodel measuringparametric hybrid automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Model measuring for hybrid systems
• Measurements, modelling and simulation of dynamic systems
• scientific article; zbMATH DE number 176326
• Meixner models of linear discrete systems
• scientific article; zbMATH DE number 595217
• Observability of hybrid discrete-continuous systems
• Discrete state observability of hybrid systems

Cites work

• scientific article; zbMATH DE number 1701778 (Why is no real title available?)
• scientific article; zbMATH DE number 1263213 (Why is no real title available?)
• scientific article; zbMATH DE number 1361134 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 1916666 (Why is no real title available?)
• scientific article; zbMATH DE number 1444359 (Why is no real title available?)
• A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
• A survey of timed automata for the development of real-time systems
• An automata-theoretic approach to branching-time model checking
• Concavely-Priced Timed Automata
• Discount-optimal infinite runs in priced timed automata
• Enhancing model checking in verification by AI techniques
• Formal Methods for the Design of Real-Time Systems
• From model checking to model measuring
• Handbook of weighted automata
• Linear parametric model checking of timed automata
• Lipschitz robustness of timed I/O systems
• Model measuring for hybrid systems
• On reachability for hybrid automata over bounded time
• On the optimal reachability problem of weighted timed automata
• Optimal paths in weighted timed automata
• Parametric verification and test coverage for hybrid automata using the inverse method
• Quantitative Languages
• Robust model-checking of timed automata via pumping in channel machines
• Robust reachability in timed automata and games: a game-based approach
• Robust safety of timed automata
• Robust satisfaction of temporal logic over real-valued signals
• Robustness of temporal logic specifications for continuous-time signals
• Simulation distances
• Stability radii of linear discrete‐time systems and symplectic pencils
• The algorithmic analysis of hybrid systems
• \(E\)-unification with constants vs. general \(E\)-unification

Cited in

(5)

• Non-deterministic Weighted Automata on Random Words
• Model measuring for hybrid systems
• Approximate learning of limit-average automata
• Non-deterministic weighted automata evaluated over Markov chains
• From model checking to model measuring

This page was built for publication: Model measuring for discrete and hybrid systems

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