scientific article; zbMATH DE number 7318980
From MaRDI portal
Publication:4965815
approximationlinear processeslinearizationmodel checkingprobabilistic hybrid systemsrectangular processes
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Recommendations
- scientific article; zbMATH DE number 4066769
- scientific article; zbMATH DE number 2085329
- Perturbation analysis and optimization of stochastic hybrid systems
- Characterization of dynamic system nonlinearities via probabilistic approach
- Stochastic non sequitur behavior analysis of fault tolerant hybrid systems
- Approximations of Stochastic Hybrid Systems
- scientific article; zbMATH DE number 3870345
- Stochastic reachability analysis of hybrid systems.
- Toward a general theory of stochastic hybrid systems
- Analysis and Simulation of Dynamics in Probabilistic P Systems
Cited in
(10)- Analysis of accuracy of hybrid systems with random time quantization
- Model checking for probabilistic timed automata
- Verification and control of probabilistic rectangular hybrid automata
- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation
- Analysis and Simulation of Dynamics in Probabilistic P Systems
- Characterization of dynamic system nonlinearities via probabilistic approach
- Algorithmic analysis of nonlinear hybrid systems
- Approximate probabilistic verification of hybrid systems
- Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond
- A formal mathematical framework for modeling probabilistic hybrid systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4965815)
