Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551): Difference between revisions

@@ Property / describes a project that uses @@
+RSOLVER
@@ Property / describes a project that uses: RSOLVER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+S-TaLiRo
@@ Property / describes a project that uses: S-TaLiRo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HARE
@@ Property / describes a project that uses: HARE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Breach
@@ Property / describes a project that uses: Breach / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyLAA
@@ Property / describes a project that uses: HyLAA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sostools
@@ Property / describes a project that uses: Sostools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HSolver
@@ Property / describes a project that uses: HSolver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SpaceEx
@@ Property / describes a project that uses: SpaceEx / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HybridSal
@@ Property / describes a project that uses: HybridSal / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.automatica.2020.109005
+Normal rank
@@ Property / OpenAlex ID @@
+W3021309330
@@ Property / OpenAlex ID: W3021309330 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q124861349
@@ Property / Wikidata QID: Q124861349 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Hybrid System Falsification through Local Search
+Normal rank
@@ Property / cites work @@
+Counterexample-guided predicate abstraction of hybrid systems
+Normal rank
@@ Property / cites work @@
+S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Simulation-equivalent reachability of large linear systems with inputs
+Normal rank
@@ Property / cites work @@
+Rigorous Simulation-Based Analysis of Linear Hybrid Systems
+Normal rank
@@ Property / cites work @@
+SAT-Based Model Checking without Unrolling
@@ Property / cites work: SAT-Based Model Checking without Unrolling / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
+Normal rank
@@ Property / cites work @@
+Q4417923
@@ Property / cites work: Q4417923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Abstraction Refinement for Timed Automata
+Normal rank
@@ Property / cites work @@
+Robust Satisfaction of Temporal Logic over Real-Valued Signals
+Normal rank
@@ Property / cites work @@
+Lyapunov abstractions for inevitability of hybrid systems
+Normal rank
@@ Property / cites work @@
+Parsimonious, Simulation Based Verification of Linear Systems
+Normal rank
@@ Property / cites work @@
+Robustness of temporal logic specifications for continuous-time signals
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Extracting counterexamples induced by safety violation in linear hybrid systems
+Normal rank
@@ Property / cites work @@
+Basic problems in stability and design of switched systems
+Normal rank
@@ Property / cites work @@
+Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
+Normal rank
@@ Property / cites work @@
+Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
+Normal rank
@@ Property / cites work @@
+A common Lyapunov function for stable LTI systems with commuting A-matrices
+Normal rank
@@ Property / cites work @@
+Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
+Normal rank
@@ Property / cites work @@
+Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Reactive synthesis from signal temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Falsification of temporal properties of hybrid systems using the cross-entropy method
+Normal rank
@@ Property / cites work @@
+Q4418865
@@ Property / cites work: Q4418865 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601517
@@ Property / cites work: Q3601517 / rank @@
+Normal rank