Publication:2766628
From MaRDI portal
zbMath0986.68058MaRDI QIDQ2766628
Publication date: 17 June 2002
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
AutomationML as a Shared Model for Offline- and Realtime-Simulation of Production Plants and for Anomaly Detection, Bounded Verification of Reachability of Probabilistic Hybrid Systems, Safety verification for probabilistic hybrid systems, Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems, Engineering constraint solvers for automatic analysis of probabilistic hybrid automata, Analysis of faults in cyber-physical systems by finite discrete-time Markov chains, A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces, Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction, Formal verification and quantitative metrics of MPSoC data dynamics, Verification and control for probabilistic hybrid automata with finite bisimulations, A hybrid automata model of social networking addiction, Languages and models for hybrid automata: a coalgebraic perspective, A probabilistic calculus of cyber-physical systems, A compositional modelling and analysis framework for stochastic hybrid systems, A compositional modelling and verification framework for stochastic hybrid systems, Verification and Control of Probabilistic Rectangular Hybrid Automata, Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems, Hybrid Automata as Coalgebras, Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
