Results 1 - 10 of 114

Approximate bisimulations for constrained linear systems

by Antoine Girard, George J. Pappas , 2005
"... In this paper, inspired by exact notions of bi-simulation equivalence for discrete-event and continuous-time systems, we establish approximate bi-simulation equivalence for linear systems with internal but bounded disturbances. This is achieved by developing a theory of approximation for transition ..."
Abstract - Cited by 14 (5 self) - Add to MetaCart
In this paper, inspired by exact notions of bi-simulation equivalence for discrete-event and continuous-time systems, we establish approximate bi-simulation equivalence for linear systems with internal but bounded disturbances. This is achieved by developing a theory of approximation for transition

Approximate Bisimulations for Nonlinear Dynamical Systems

by Antoine Girard, George J. Pappas , 2005
"... The notion of exact bisimulation equivalence for nondeterministic discrete systems has recently resulted in notions of exact bisimulation equivalence for continuous and hybrid systems. In this paper, we establish the more robust notion of approximate bisimulation equivalence for nondeterministic n ..."
Abstract - Cited by 31 (6 self) - Add to MetaCart
The notion of exact bisimulation equivalence for nondeterministic discrete systems has recently resulted in notions of exact bisimulation equivalence for continuous and hybrid systems. In this paper, we establish the more robust notion of approximate bisimulation equivalence for nondeterministic

Approximate Bisimulation Equivalence and Variable Refinement

by Bai Liu, Jinzhao Wu, Zhucheng Xie
"... Abstract: In this paper, we consider an operator for refinement of variables to be used in the design of hybrid system. Variables on a given level of abstraction are replaced by more complicated processes on a lower level just like the function are called in the program. Then we established the equi ..."
Abstract - Add to MetaCart
the equivalence, bisimulation equivalence and approximate bisimulation equivalence which are by polynomial flow event structures. These equivalence, bisimulation equivalence and approximate bisimulation equivalence are based on the common forms of their zeros. The example show that the equivalence, bisimulation

Approximate bisimulations for sodium channel dynamics

by Abhishek Murthy, Ariful Islam, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu - In Proc. of CMSB’12, LNCS , 2012
"... Abstract. This paper shows that, in the context of the Iyer et al. 67-variable cardiac myocycte model (IMW), it is possible to replace the detailed 13-state continuous-time MDP model of the sodium-channel dy-namics, with a much simpler Hodgkin-Huxley (HH)-like two-state sodium-channel model, while o ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
only incurring a bounded approximation error. The technical basis for this result is the construction of an approximate bisim-ulation between the HH and IMW channel models, both of which are input-controlled (voltage in this case) continuous-time Markov chains. The construction of the appropriate

Approximate bisimulation relations for constrained linear systems

by Antoine Girard, George J. Pappas - AUTOMATICA , 2007
"... In this paper, we define the notion of approximate bisimulation relation between two systems, extending the well established exact bisimulation relations for discrete and continuous systems. Exact bisimulation requires that the observations of two systems are and remain identical, approximate bisi ..."
Abstract - Cited by 18 (5 self) - Add to MetaCart
In this paper, we define the notion of approximate bisimulation relation between two systems, extending the well established exact bisimulation relations for discrete and continuous systems. Exact bisimulation requires that the observations of two systems are and remain identical, approximate

ApproximateBisimulationRelations for ConstrainedLinear Systems?

by Antoine Girard A
"... In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimu-lation requires that the observations of two systems are and remain identical, approximate bisimulation allows the observations to be different provided the distance between th ..."
Abstract - Add to MetaCart
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimu-lation requires that the observations of two systems are and remain identical, approximate bisimulation allows the observations to be different provided the distance between

Dynamic Network Functional Comparison via Approximate-bisimulation by

by Francesco Donnarumma, Aniello Murano, Roberto Prevete
"... Abstract: It is generally unknown how to formally determine whether different neural networks have a similar behaviour. This question intimately relates to the problem of finding a suitable sim-ilarity measure to identify bounds on the input-output response dis-tances of neural networks, which has s ..."
Abstract - Add to MetaCart
setting the concept of δ−approximate bisimulations techniques for non-linear systems. We have positively tested the proposed approach over continuous time recurrent neural networks (CTRNNs).

Controller synthesis for safety and reachability via approximate bisimulation

by Antoine Girard - In: Automatica 48.5 (2012
"... Abstract. In this paper, we consider the problem of controller design using approximately bisimilar abstractions with an emphasis on safety and reachability specifications. We propose abstraction-based approaches to solve both classes of problems. We start by synthesizing a controller for an approxi ..."
Abstract - Cited by 8 (0 self) - Add to MetaCart
Abstract. In this paper, we consider the problem of controller design using approximately bisimilar abstractions with an emphasis on safety and reachability specifications. We propose abstraction-based approaches to solve both classes of problems. We start by synthesizing a controller

Symbolic models for nonlinear control systems using approximate bisimulation

by Giordano Pola, Antoine Girard, Paulo Tabuada , 2007
"... Symbolic models for nonlinear control systems using approximate bisimulation Abstract — Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models are very powerful when dealing with ..."
Abstract - Cited by 45 (13 self) - Add to MetaCart
Symbolic models for nonlinear control systems using approximate bisimulation Abstract — Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models are very powerful when dealing

SYMBOLIC MODELS FOR NONLINEAR TIME-DELAY SYSTEMS USING APPROXIMATE BISIMULATIONS

by Giordano Pola, Pierdomenico Pepe, Maria D. Di Benedetto, Paulo Tabuada , 2009
"... In this paper we show that incrementally stable nonlinear time–delay systems admit symbolic models which are approximately equivalent, in the sense of approximate bisimulation, to the original system. An algorithm is presented which computes the proposed symbolic models. Termination of the algorit ..."
Abstract - Cited by 10 (5 self) - Add to MetaCart
In this paper we show that incrementally stable nonlinear time–delay systems admit symbolic models which are approximately equivalent, in the sense of approximate bisimulation, to the original system. An algorithm is presented which computes the proposed symbolic models. Termination
Results 1 - 10 of 114