منابع مشابه
Bisimilar linear systems
The notion of bisimulation in theoretical computer science is one of the main complexity reduction methods for the analysis and synthesis of labeled transition systems. Bisimulations are special quotients of the state space that preserve many important properties expressible in temporal logics, and, in particular, reachability. In this paper, the framework of bisimilar transition systems is app...
متن کاملApproximately Bisimilar Finite Abstractions of Stable Linear Systems
The use of bisimilar finite abstractions of continuous and hybrid systems, greatly simplifies complex computational tasks such as verification or control synthesis. Unfortunately, because of the strong requirements of bisimulation relations, such abstractions exist only for quite restrictive classes of systems. Recently, the notion of approximate bisimulation relations has been introduced, allo...
متن کاملBisimilar Hybrid Systems
The notion of bisimulation has escaped the world of continuous, and subsequently, hybrid systems. Recently, notions of bisimulation for continuous systems have been developed based on the categorical framework of Joyal, Nielsen and Winskel. In this paper, we combine known notions of bisimulation for discrete systems with recent notions for continuous systems and develop novel but natural notion...
متن کاملBisimilar control affine systems
The notion of bisimulation plays a very important role in theoretical computer science where it provides several notions of equivalence between models of computation. These equivalences are in turn used to simplify verification and synthesis for these models as well as to enable compositional reasoning. In systems theory, a similar notion is also of interest in order to develop modular verifica...
متن کاملBisimilar Finite Abstractions of Interconnected Systems
This paper addresses the design of approximately bisimilar finite abstractions of systems that are composed of the interconnection of smaller subsystems. First, it is shown that the ordinary notion of approximate bisimulation does not preserve the interconnection structure of the concrete model. Next, a new definition of approximate bisimulation that is compatible with interconnection is propos...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatica
سال: 2003
ISSN: 0005-1098
DOI: 10.1016/j.automatica.2003.07.003