Bisimulation Relations for Dynamical, Control, and Hybrid Systems

Theoretical Computer Science - Netherlands
doi 10.1016/j.tcs.2005.03.045
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Weak Bisimulation for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Zeno Phenomenon in Hybrid Dynamical Systems

PAMM
2017English

Finite Time Stability of Sets for Hybrid Dynamical Systems

Automatica
ControlSystems EngineeringElectricalElectronic Engineering
2019English

Relations Between Shadowing and Inverse Shadowing in Dynamical Systems

Axioms
AlgebraGeometryAnalysisNumber TheoryMathematical PhysicsLogicTopology
2019English

New Bisimulation Semantics for Distributed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Toward a Modeling Language Standard for Hybrid Dynamical Systems

English

Branching Bisimulation for Probabilistic Systems: Characteristics and Decidability

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2006English

Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Hybrid Systems: Computation and Control

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy