Results 271 to 280 of about 45,642,631 (346)
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 +3 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 +3 more sources
Sizing a PV-Wind based hybrid system using deterministic approach
Energy Conversion and Management, 2018A designed model based on TRNSYS software is used to size a hybrid electrical renewable energy system that can be used to supply electrical load demands. The goal is to maintain a constant storage temperature of bitumen by compensating the thermal losses
Kamal Anoune +4 more
semanticscholar +1 more source
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 +3 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 +3 more sources
Energy Conversion and Management, 2018
In this study, a theoretical model of a concentrated photovoltaic-thermoelectric hybrid system has been developed based on first and second laws of thermodynamics and analysed in MATALB. A numerical method has been exploited to determine the temperatures
R. Lamba, S. Kaushik
semanticscholar +1 more source
In this study, a theoretical model of a concentrated photovoltaic-thermoelectric hybrid system has been developed based on first and second laws of thermodynamics and analysed in MATALB. A numerical method has been exploited to determine the temperatures
R. Lamba, S. Kaushik
semanticscholar +1 more source
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 +2 more sources
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 +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 +3 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 +3 more sources
Optimal design method for concentrating photovoltaic-thermoelectric hybrid system
Applied Energy, 2018Utilizing the dissipated thermal energy by photovoltaic cells working as the heat source of thermoelectric module to generate extra electricity is an optional way to further improve the photoelectric conversion efficiency of concentrating photovoltaic ...
Ershuai Yin, Qiang Li, Y. Xuan
semanticscholar +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 +2 more sources
IEEE Robotics & Automation Magazine, 2011
Robotics has provided the motivation and inspiration for many innovations in planning and control. From nonholonomic motion planning [1] to probabilistic road maps [2], from capture basins [3] to preimages [4] of obstacles to avoid, and from geometric nonlinear control [5], [6] to machine-learning methods in robotic control [7], there is a wide range ...
Jerry Ding +5 more
openaire +2 more sources
Robotics has provided the motivation and inspiration for many innovations in planning and control. From nonholonomic motion planning [1] to probabilistic road maps [2], from capture basins [3] to preimages [4] of obstacles to avoid, and from geometric nonlinear control [5], [6] to machine-learning methods in robotic control [7], there is a wide range ...
Jerry Ding +5 more
openaire +2 more sources
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