Approximate bisimulation: a bridge between computer science and control theory (Q693690): Difference between revisions

@@ Property / describes a project that uses @@
+MATISSE
@@ Property / describes a project that uses: MATISSE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PESSOA
@@ Property / describes a project that uses: PESSOA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMV
@@ Property / describes a project that uses: SMV / 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.3166/ejc.17.568-578
+Normal rank
@@ Property / OpenAlex ID @@
+W1997070622
@@ Property / OpenAlex ID: W1997070622 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57581726
@@ Property / Wikidata QID: Q57581726 / rank @@
+Normal rank
@@ Property / cites work @@
+A Lyapunov approach to incremental stability properties
+Normal rank
@@ Property / cites work @@
+Q2784654
@@ Property / cites work: Q2784654 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4439589
@@ Property / cites work: Q4439589 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of switching controllers using approximately bisimilar multiscale abstractions
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic motion planning for dynamic robots
@@ Property / cites work: Temporal logic motion planning for dynamic robots / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logic Verification Using Simulation
@@ Property / cites work: Temporal Logic Verification Using Simulation / rank @@
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Finite Abstractions of Stable Linear Systems
+Normal rank
@@ Property / cites work @@
+Synthesis using approximately bisimilar abstractions
+Normal rank
@@ Property / cites work @@
+Approximate simulation relations for hybrid systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate bisimulation relations for constrained linear systems
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Hierarchical control system design using approximate simulation
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for dynamical, control, and hybrid systems
+Normal rank
@@ Property / cites work @@
+Approximate equivalence and synchronization of metric transition systems
+Normal rank
@@ Property / cites work @@
+Robust Test Generation and Coverage for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Approximations of Stochastic Hybrid Systems
@@ Property / cites work: Approximations of Stochastic Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638871
@@ Property / cites work: Q5638871 / rank @@
+Normal rank
@@ Property / cites work @@
+Switching in systems and control
@@ Property / cites work: Switching in systems and control / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Supervisory Control Software Using State Proximity and Merging
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimilar linear systems.
@@ Property / cites work: Bisimilar linear systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for nonlinear control systems
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic models for nonlinear time-delay systems using approximate bisimulations
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
+Normal rank
@@ Property / cites work @@
+Crossing the Bridge between Similar Games
@@ Property / cites work: Crossing the Bridge between Similar Games / rank @@
+Normal rank
@@ Property / cites work @@
+An Approximate Simulation Approach to Symbolic Control
+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 @@
+Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417860
@@ Property / cites work: Q4417860 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of Dynamical Systems by Bisimulation
@@ Property / cites work: Equivalence of Dynamical Systems by Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:693690