Approximate Simulation Relations for Hybrid Systems
نویسندگان
چکیده
Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we extend this abstraction framework to hybrid systems. Using the notion of simulation functions, we develop a characterization of approximate simulation relations which can be used for hybrid systems approximation. For several classes of hybrid systems, this characterization leads to effective algorithms for the computation of approximate simulation relations. An application in the context of reachability analysis is shown.
منابع مشابه
An approximation theory for discrete event and continuous time systems
Established system relationships for discrete systems, such as language inclusion, simulation, and bisimulation, require system observations to be identical. When interacting with the physical world, modeled by continuous or hybrid systems, exact relationships are restrictive and not robust. In this paper, we develop the first framework of system approximation that applies to both discrete and ...
متن کاملApproximate Bisimulation: A Bridge Between Computer Science and Control Theoryg
Fifty years ago, control and computing were part of a broader system science. After a long period of separate development within each discipline, embedded and hybrid systems have challenged us to re-unite the, now sophisticated theories of continuous control and discrete computing on a broader system theoretic basis. In this paper, we present a framework of system approximation that applies to ...
متن کاملApproximate Bisimulation: A Bridge Between Computer Science and Control Theory
Fifty years ago, control and computing were part of a broader system science. After a long period of separate development within each discipline, embedded and hybrid systems have challenged us to re-unite the, now sophisticated theories of continuous control and discrete computing on a broader system theoretic basis. In this paper, we present a framework of system approximation that applies to ...
متن کاملReview, analysis and simulation of different structures for hybrid electrical energy storages
Output power in a hybrid power system is constant while the input power with variable characteristics that is generated by different sources. Using Hybrid Electrical Energy Storage (HEES) systems, is growing rapidly since there is an obvious need for clean energy. This paper introduces different parts of a HEES system and then proposes HEES systems which employ battery, ultracapacitor and f...
متن کاملNonresonant Excitation of the Forced Duffing Equation
We investigate the hard nonresonant excitation of the forced Duffing equation with a positive damping parameter E. Using the symbolic manipulation system MACSYMA, a computer algebra system. we derive the two term perturbation expansion by the method of multiple time scales. The resulting approximate solution is valid for small values of the coefficient e As the damping parameter e increases, th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Discrete Event Dynamic Systems
دوره 18 شماره
صفحات -
تاریخ انتشار 2008