A compositional modelling and verification framework for stochastic hybrid systems (Q2403530): Difference between revisions

@@ Property / cites work @@
+Asymptotic Optimization of a Nonlinear Hybrid System Governed by a Markov Decision Process
+Normal rank
@@ Property / cites work @@
+Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Q3434956
@@ Property / cites work: Q3434956 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Validated simulation-based verification of delayed differential dynamics
+Normal rank
@@ Property / cites work @@
+On invariant polyhedra of continuous-time linear systems
+Normal rank
@@ Property / cites work @@
+Measurability and safety verification for stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Constraint-Based Approach for Analysis of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4501575
@@ Property / cites work: Q4501575 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional modelling and analysis framework for stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4953390
@@ Property / cites work: Q4953390 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Assume-Guarantee Verification for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Refinement-oriented probability for CSP
@@ Property / cites work: Refinement-oriented probability for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic differential equations. An introduction with applications
+Normal rank
@@ Property / cites work @@
+Computing Differential Invariants of Hybrid Systems as Fixedpoints
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Differential-algebraic Dynamic Logic for Differential-algebraic Programs
+Normal rank
@@ Property / cites work @@
+Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs
+Normal rank
@@ Property / cites work @@
+Extending Hybrid CSP with Probability and Stochasticity
+Normal rank
@@ Property / cites work @@
+Transcendental inductive invariants generation for non-linear differential and hybrid systems
+Normal rank
@@ Property / cites work @@
+Automatic invariant generation for hybrid systems using ideal fixed points
+Normal rank
@@ Property / cites work @@
+Q2766628
@@ Property / cites work: Q2766628 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+GLOBAL ATTRACTIVITY IN A PREDATOR–PREY SYSTEM WITH PURE DELAYS
+Normal rank
@@ Property / cites work @@
+An Assume/Guarantee Based Compositional Calculus for Hybrid CSP
+Normal rank
@@ Property / cites work @@
+Automatic verification of stability and safety for delay differential equations
+Normal rank
@@ Property / cites work @@
+Bayesian statistical model checking with application to Stateflow/Simulink verification
+Normal rank
@@ Property / cites work @@
+Safety verification for probabilistic hybrid systems
+Normal rank
@@ Property / cites work @@
+Formal Modelling, Analysis and Verification of Hybrid Systems
+Normal rank