Model measuring for discrete and hybrid systems

DOI10.1016/J.NAHS.2016.09.001zbMATH Open1401.68198OpenAlexW2529208763MaRDI QIDQ2374564FDOQ2374564

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

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

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)

Cites Work

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

Cited In (5)

• From model checking to model measuring
• Non-deterministic weighted automata evaluated over Markov chains
• Model measuring for hybrid systems
• Title not available (Why is that?)
• Non-deterministic Weighted Automata on Random Words

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)