Compositional construction of control barrier functions for continuous-time stochastic hybrid systems (Q2081792): Difference between revisions

@@ Property / DOI @@
-.1016/j.automatica.2022.110513
@@ Property / DOI: 10.1016/j.automatica.2022.110513 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathSAT5
@@ Property / describes a project that uses: MathSAT5 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3113187462
@@ Property / OpenAlex ID: W3113187462 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113879458
@@ Property / Wikidata QID: Q113879458 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07296
@@ Property / arXiv ID: 2012.07296 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking continuous-time Markov chains
@@ Property / cites work: Model-checking continuous-time Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+The MathSAT5 SMT Solver
@@ Property / cites work: The MathSAT5 SMT Solver / rank @@
+Normal rank
@@ Property / cites work @@
+Some new bounds on the spectral radius of graphs
@@ Property / cites work: Some new bounds on the spectral radius of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On a small gain theorem for ISS networks in dissipative Lyapunov form
+Normal rank
@@ Property / cites work @@
+δ-Complete Decision Procedures for Satisfiability over the Reals
+Normal rank
@@ Property / cites work @@
+A compositional modelling and analysis framework for stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Formal Synthesis of Stochastic Systems via Control Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Stochastic stability and control
@@ Property / cites work: Stochastic stability and control / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional construction of infinite abstractions for networks of stochastic control systems
+Normal rank
@@ Property / cites work @@
+Compositional abstraction-based synthesis for networks of stochastic switched systems
+Normal rank
@@ Property / cites work @@
+Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
+Normal rank
@@ Property / cites work @@
+Adaptive control-based barrier Lyapunov functions for a class of stochastic nonlinear systems with full state constraints
+Normal rank
@@ Property / cites work @@
+Semidefinite programming relaxations for semialgebraic problems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
+Normal rank
@@ Property / cites work @@
+Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach
+Normal rank
@@ Property / DOI @@
+.1016/J.AUTOMATICA.2022.110513
@@ Property / DOI: 10.1016/J.AUTOMATICA.2022.110513 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2081792