Results 251 to 260 of about 2,377,753 (298)
Some of the next articles are maybe not open access.
2008 47th IEEE Conference on Decision and Control, 2008
We propose a methodology for hybrid system model reduction that deals with the abstraction of both the continuous and the discrete behaviors of the system. Balanced residualization for continuous dynamics and pseudo-equivalent location elimination for the graph are used for model reduction in the continuous and discrete time domain respectively.
MAZZI E +3 more
openaire +2 more sources
We propose a methodology for hybrid system model reduction that deals with the abstraction of both the continuous and the discrete behaviors of the system. Balanced residualization for continuous dynamics and pseudo-equivalent location elimination for the graph are used for model reduction in the continuous and discrete time domain respectively.
MAZZI E +3 more
openaire +2 more sources
2008 47th IEEE Conference on Decision and Control, 2008
Hybrid systems are useful abstractions of embedded controllers. However, they are notoriously very difficult to verify as computation complexity grows quickly with the size of the hybrid system. We address the problem of building in a systematic way a compact representation of a hybrid system obtained by composing hybrid subsystems.
BENVENUTI, Luca +3 more
openaire +2 more sources
Hybrid systems are useful abstractions of embedded controllers. However, they are notoriously very difficult to verify as computation complexity grows quickly with the size of the hybrid system. We address the problem of building in a systematic way a compact representation of a hybrid system obtained by composing hybrid subsystems.
BENVENUTI, Luca +3 more
openaire +2 more sources
Acta Informatica, 2007
Introduktion til tre artikler i en særudgave om Hybride Systemer. Diise artikler blev præsenteret ved et IFIP WG 2.2 møde i Skagen 2005.
Olderog, Ernst-Rüdiger +1 more
openaire +2 more sources
Introduktion til tre artikler i en særudgave om Hybride Systemer. Diise artikler blev præsenteret ved et IFIP WG 2.2 møde i Skagen 2005.
Olderog, Ernst-Rüdiger +1 more
openaire +2 more sources
Hybrid Systems with Constraints
2013Control theory is the main subject of this title, in particular analysis and control design for hybrid dynamic systems. The notion of hybrid systems offers a strong theoretical and unified framework to cope with the modeling, analysis and control design of systems where both continuous and discrete dynamics interact.
Daafouz, Jamal +2 more
openaire +3 more sources
1993
Hybrid systems are modeled as phase transition systems with sampling semantics. By identifying a set of important events it is ensured that all significant state changes are observed, thus correcting previous drawbacks of the sampling computations semantics. A proof rule for verifying properties of hybrid systems is presented and illustrated on several
Zohar Manna, Amir Pnueli
openaire +1 more source
Hybrid systems are modeled as phase transition systems with sampling semantics. By identifying a set of important events it is ensured that all significant state changes are observed, thus correcting previous drawbacks of the sampling computations semantics. A proof rule for verifying properties of hybrid systems is presented and illustrated on several
Zohar Manna, Amir Pnueli
openaire +1 more source
An Institution of Hybrid Systems
2000Hybrid systems are systems that intermix discrete and continuous behavior. Interest in hybrid systems has grown in recent years, mainly because of their relation with embedded systems (systems that interact with the continuously changing real-world). In order to deal with complex problems, compositional specification and verification methods are needed.
Hugo Lourenço, Amílcar Sernadas
openaire +1 more source
On Observability of Hybrid Systems
IEEE Transactions on Automatic Control, 2022Observability of a hybrid system is defined as the ability to determine the continuous state of the system. Whether a hybrid system is observable or not depends on which events can be disabled, which events can be forced, and the connectivity of the discrete states, as well as its continuous dynamics.
Feng Lin 0001 +3 more
openaire +1 more source
Diagnosability of Hybrid Systems
IEEE Transactions on Control Systems Technology, 2019Modern industrial systems combine discrete and continuous behaviors and thus are hybrid systems (HSs). In this brief, we introduce a new definition of diagnosability of HSs called $h$ -diagnosability, and we present a method to verify this property.
Oumar Diene +4 more
openaire +1 more source
International Journal of Bifurcation and Chaos, 1994
A hybrid system is one which can instantaneously switch between a number of phase portraits. Switching occurs when trajectories hit prescribed switching curves. This type of system is highly applicable to digital controls such as robotic controls. A working definition of such a system is given, as well as a method for stabilizing periodic orbits and ...
openaire +2 more sources
A hybrid system is one which can instantaneously switch between a number of phase portraits. Switching occurs when trajectories hit prescribed switching curves. This type of system is highly applicable to digital controls such as robotic controls. A working definition of such a system is given, as well as a method for stabilizing periodic orbits and ...
openaire +2 more sources
Proceedings of the 2009 International Conference on Hybrid Information Technology, 2009
As density doubles with the rapidly dropping price each year for the past seven years (currently 32 Gbits/chip), NAND flash memory has virtually replaced HDDs (hard disk drives) in battery-operated consumer devices such as cellular phones, PMPs, and PDAs.
Jinsun Suk, Jaechun No
openaire +1 more source
As density doubles with the rapidly dropping price each year for the past seven years (currently 32 Gbits/chip), NAND flash memory has virtually replaced HDDs (hard disk drives) in battery-operated consumer devices such as cellular phones, PMPs, and PDAs.
Jinsun Suk, Jaechun No
openaire +1 more source