Results 181 to 190 of about 28,008,925 (238)
Some of the next articles are maybe not open access.
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
A review on recent sizing methodologies of hybrid renewable energy systems
Energy Conversion and Management, 2019On account of the continuously increasing electricity consumption and concern for environmental issues, renewable energy sources have been widely utilized to generate electricity, and they present advantages such as cleanness, easy availability, low cost,
J. Lian +4 more
semanticscholar +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
Hybrid system for telepathology
Human Pathology, 2000We introduce a novel hybrid telepathology system providing simultaneous transmission of both real-time microscopy and static imagery at a reasonable cost. It is capable of capturing static, true color images at resolution of 1,520 x 1,144 pixels and providing live transmission of real-time video images of the glass slide in Common Intermediate Format ...
J, Zhou +4 more
openaire +2 more sources
, 2020
This paper presents new results on the assessment of sustainability indicators for renewable energy (RE) systems (solar PV, wind, phosphoric acid fuel cell, and solid oxide fuel cell).
C. Ghenai, Mona Albawab, M. Bettayeb
semanticscholar +1 more source
This paper presents new results on the assessment of sustainability indicators for renewable energy (RE) systems (solar PV, wind, phosphoric acid fuel cell, and solid oxide fuel cell).
C. Ghenai, Mona Albawab, M. Bettayeb
semanticscholar +1 more source
2008
Hybrid Systems are dynamical systems presenting both discrete and continuous evolution. Hybrid Automata are a formal model for hybrid systems, originally proposed to study embedded systems, where a discrete control acts on a continuously changing environment.
Luca Bortolussi, Alberto Policriti
openaire +1 more source
Hybrid Systems are dynamical systems presenting both discrete and continuous evolution. Hybrid Automata are a formal model for hybrid systems, originally proposed to study embedded systems, where a discrete control acts on a continuously changing environment.
Luca Bortolussi, Alberto Policriti
openaire +1 more source