A modal characterization of alternating approximate bisimilarity

DOI10.1007/S10703-013-0201-9zbMATH Open1300.93114arXiv1212.5139OpenAlexW2111335664MaRDI QIDQ479808FDOQ479808

Authors: Jinjin Zhang, Zhaohui Zhu 

Publication date: 5 December 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Abstract: Recently, alternating transition systems are adopted to describe control systems with disturbances and their finite abstract systems. In order to capture the equivalence relation between these systems, a notion of alternating approximate bisimilarity is introduced. This paper aims to establish a modal characterization for alternating approximate bisimilarity. Moreover, based on this result, we provide a link between specifications satisfied by the samples of control systems with disturbances and their finite abstractions.

Full work available at URL: https://arxiv.org/abs/1212.5139

Recommendations

• scientific article; zbMATH DE number 1696897
• Approximately Bisimilar Finite Abstractions of Stable Linear Systems
• Approximate simulation relations for hybrid systems
• Approximate bisimulation: a bridge between computer science and control theory
• Bisimilar Finite Abstractions of Interconnected Systems

zbMATH Keywords

finite abstractionsalternating approximate bisimilaritycontrol systems with disturbancesmodal characterizationtemporal logical specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Discrete event control/observation systems (93C65)

Cites Work

• Alternating-time temporal logic
• Algebraic laws for nondeterminism and concurrency
• Title not available (Why is that?)
• Approximating Markov processes through filtration
• Approximately bisimilar symbolic models for nonlinear control systems
• A final coalgebra theorem
• Approximation Metrics for Discrete and Continuous Systems
• Hybrid Systems: Computation and Control
• Metrics for labelled Markov processes
• Symbolic models for nonlinear control systems: alternating approximate bisimulations
• Linear Time Logic Control of Discrete-Time Linear Systems
• Title not available (Why is that?)
• Bisimulation indexes and their applications
• A behavioural pseudometric for probabilistic transition systems
• \(\pi\)-calculus with noisy channels
• CONCUR 2005 – Concurrency Theory
• Hierarchical control system design using approximate simulation
• Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
• An Approximate Simulation Approach to Symbolic Control
• Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity
• Theoretical and experimental studies of heat transfer with moving phase-change interface in freezing and thawing of porous potting soil
• Synthesis of switching controllers using approximately bisimilar multiscale abstractions
• Dealing with Nondeterminism in Symbolic Control
• Approximately Bisimilar Finite Abstractions of Stable Linear Systems
• Symbolic models for nonlinear control systems affected by disturbances
• A behavioural pseudometric based on \(\lambda\)-bisimilarity
• Time abstracted bisimulation: Implicit specifications and decidability
• Approximate bisimulation: a bridge between computer science and control theory

Cited In (2)

• Characterization and computation of approximate bisimulations for fuzzy automata
• Nondeterministic fuzzy automata with membership values in complete residuated lattices

This page was built for publication: A modal characterization of alternating approximate bisimilarity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q479808)