scientific article
From MaRDI portal
Publication:2766628
zbMath0986.68058MaRDI QIDQ2766628
Publication date: 17 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (20)
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 ⋮ Hybrid Automata as Coalgebras ⋮ 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 ⋮ Safety verification for probabilistic hybrid systems ⋮ Bounded Verification of Reachability of Probabilistic Hybrid Systems ⋮ Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes ⋮ Formal verification and quantitative metrics of MPSoC data dynamics ⋮ Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems ⋮ Verification and control for probabilistic hybrid automata with finite bisimulations ⋮ A compositional modelling and analysis framework for stochastic 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 ⋮ A hybrid automata model of social networking addiction ⋮ Languages and models for hybrid automata: a coalgebraic perspective ⋮ A probabilistic calculus of cyber-physical systems ⋮ AutomationML as a Shared Model for Offline- and Realtime-Simulation of Production Plants and for Anomaly Detection
This page was built for publication:
