Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications (Q2665348): Difference between revisions

@@ Property / describes a project that uses @@
+TuLiP
@@ Property / describes a project that uses: TuLiP / 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.2021.109723
+Normal rank
@@ Property / OpenAlex ID @@
+W3166440625
@@ Property / OpenAlex ID: W3166440625 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal methods for discrete-time dynamical systems
+Normal rank
@@ Property / cites work @@
+An implementation of an efficient algorithm for bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+An             <i>O</i>             (             <i>m</i>             log             <i>n</i>             ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
+Normal rank
@@ Property / cites work @@
+Q4038723
@@ Property / cites work: Q4038723 / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of symbolic transition systems
@@ Property / cites work: A classification of symbolic transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Bisimulation equivalence of differential-algebraic systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Augmented finite transition systems as abstractions for control synthesis
+Normal rank
@@ Property / cites work @@
+Bisimilar linear systems.
@@ Property / cites work: Bisimilar linear systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata
+Normal rank
@@ Property / cites work @@
+Feedback Refinement Relations for the Synthesis of Symbolic Controllers
+Normal rank
@@ Property / cites work @@
+Verification and Control of Hybrid Systems
@@ Property / cites work: Verification and Control of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
+Normal rank