A modal characterization of alternating approximate bisimilarity (Q479808): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+C65
@@ Property / Mathematics Subject Classification ID: 93C65 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6377615
@@ Property / zbMATH DE Number: 6377615 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+alternating approximate bisimilarity
@@ Property / zbMATH Keywords: alternating approximate bisimilarity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal characterization
@@ Property / zbMATH Keywords: modal characterization / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+control systems with disturbances
@@ Property / zbMATH Keywords: control systems with disturbances / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+finite abstractions
@@ Property / zbMATH Keywords: finite abstractions / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+temporal logical specification
@@ Property / zbMATH Keywords: temporal logical specification / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2111335664
@@ Property / OpenAlex ID: W2111335664 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5139
@@ Property / arXiv ID: 1212.5139 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic models for nonlinear control systems affected by disturbances
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
+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 @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Approximately Bisimilar Finite Abstractions of Stable Linear Systems
+Normal rank
@@ Property / cites work @@
+Dealing with Nondeterminism in Symbolic Control
@@ Property / cites work: Dealing with Nondeterminism in Symbolic Control / rank @@
+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 @@
+Approximate bisimulation: a bridge between computer science and control theory
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Time abstracted bisimulation: Implicit specifications and decidability
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
+Normal rank
@@ Property / cites work @@
+Approximately bisimilar symbolic models for nonlinear control systems
+Normal rank
@@ Property / cites work @@
+An Approximate Simulation Approach to Symbolic Control
+Normal rank
@@ Property / cites work @@
+Linear Time Logic Control of Discrete-Time Linear Systems
+Normal rank
@@ Property / cites work @@
+Bisimulation indexes and their applications
@@ Property / cites work: Bisimulation indexes and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+\(\pi\)-calculus with noisy channels
@@ Property / cites work: \(\pi\)-calculus with noisy channels / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical and experimental studies of heat transfer with moving phase-change interface in freezing and thawing of porous potting soil
+Normal rank
@@ Property / cites work @@
+A Behavioural Pseudometric based on λ–Bisimilarity
+Normal rank
@@ Property / cites work @@
+Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity
+Normal rank
@@ Property / cites work @@
+Approximating Markov processes through filtration
@@ Property / cites work: Approximating Markov processes through filtration / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:479808