Verification and control of probabilistic rectangular hybrid automata

DOI10.1007/978-3-319-22975-1_1MaRDI QIDQ2945577zbMATH OpenOpenAlexFDO

Authors Jeremy Sproston

Publication date 14 September 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2318/1568125

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

• Verification and control for probabilistic hybrid automata with finite bisimulations
• Quantitative automata model checking of autonomous stochastic hybrid systems
• scientific article; zbMATH DE number 1696496
• Extending hybrid CSP with probability and stochasticity
• Safety verification for probabilistic hybrid systems

Cites work

• A survey of stochastic -regular games
• Algorithmic analysis of nonlinear hybrid systems
• Automatic verification of real-time systems with discrete probability distributions.
• Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
• Expected reachability-time games
• Formal Modeling and Analysis of Timed Systems
• scientific article; zbMATH DE number 1696496 (Why is no real title available?)
• scientific article; zbMATH DE number 425394 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1956626 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 1759607 (Why is no real title available?)
• scientific article; zbMATH DE number 2163041 (Why is no real title available?)
• scientific article; zbMATH DE number 7318980 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Measurability and safety verification for stochastic hybrid systems
• Model checking
• O-minimal hybrid systems.
• Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
• Safety verification for probabilistic hybrid systems
• Solving Sequential Conditions by Finite-State Strategies
• State explosion in almost-sure probabilistic reachability
• STORMED Hybrid Systems
• Supervisory Control of a Class of Discrete Event Processes
• The algorithmic analysis of hybrid systems
• Validation of Stochastic Systems
• What's decidable about hybrid automata?

Cited in

(6)

• Verification and control for probabilistic hybrid automata with finite bisimulations
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Quantitative automata model checking of autonomous stochastic hybrid systems
• Safety verification for probabilistic hybrid systems
• Extending hybrid CSP with probability and stochasticity
• Comparing two approaches to include stochasticity in hybrid automata

This page was built for publication: Verification and control of probabilistic rectangular hybrid automata

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