On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems

DOI10.1007/978-3-319-40370-0_13zbMath1475.68209OpenAlexW2479966126MaRDI QIDQ5739458

Ievgen Ivanov

Publication date: 15 July 2016

Published in: Coalgebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01446028/file/418352_1_En_13_Chapter.pdf

zbMATH Keywords

dynamical systembisimulationlocal characterizationcontinuous timecyber-physical system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Simple-named complex-valued nominative data -- definition and basic operations ⋮ Kleene algebra of partial predicates ⋮ On algebras of algorithms and specifications over uninterpreted data ⋮ On an algorithmic algebra over simple-named complex-valued nominative data

Uses Software

• SCADE
• Scicos
• ScicosLab

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Model-checking in dense real-time
• Switching in systems and control
• Bisimilar linear systems.
• Bisimulation relations for dynamical, control, and hybrid systems
• Bisimulation Relations for Dynamical and Control Systems
• Introduction to Bisimulation and Coinduction
• Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions
• On Simulations and Bisimulations of General Flow Systems
• On the bisimulation proof method
• Equivalence of Dynamical Systems by Bisimulation
• Hybrid dynamical systems
• On Representations of Abstract Systems with Partial Inputs and Outputs
• Equivalence of switching linear systems by bisimulation
• Analysis of timed systems using time-abstracting bisimulations

This page was built for publication: On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems