Results 71 to 80 of about 28,008,925 (238)

Hybrid Quantum-Classical Master Equations

, 2014
We discuss hybrid master equations of composite systems which are hybrids of classical and quantum subsystems. A fairly general form of hybrid master equations is suggested, its consistency is derived from the consistency of Lindblad quantum master ...
Diósi, Lajos
core   +1 more source

Localized Ultrasonic Cleaning for Injection Mold Cavities: A Scalable In Situ Process with Surface Quality Monitoring

Technologies
As global industries seek to reduce energy consumption and lower CO2 emissions, the need for sustainable, efficient maintenance processes in manufacturing has become increasingly important.
Deviprasad Chalicheemalapalli Jayasankar, Thomas Tröster, Thorsten Marten   +2 more
doaj   +1 more source

Stability of Zeno Equilibria in Lagrangian Hybrid Systems [PDF]

, 2008
This paper presents both necessary and sufficient conditions for the stability of Zeno equilibria in Lagrangian hybrid systems, i.e., hybrid systems modeling mechanical systems undergoing impacts.
Ames, Aaron D., Or, Yizhar
core   +3 more sources

Hybrid Systems and Control With Fractional Dynamics (I): Modeling and Analysis

, 2014
No mixed research of hybrid and fractional-order systems into a cohesive and multifaceted whole can be found in the literature. This paper focuses on such a synergistic approach of the theories of both branches, which is believed to give additional ...
HosseinNia, S. Hassan, Tejado, Ines, Vinagre, Blas M.   +2 more
core   +1 more source

Statistical Model Checking for Stochastic Hybrid Systems [PDF]

, 2012
This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how our race-based stochastic semantics extends to networks of hybrid systems,
Alexandre David, Alexandre David, Alexandre David, Alexandre David, Alexandre David, Alexandre David, Alexandre David, Amir Pnueli, Ananda Basu, Ananda Basu, Ananda Basu, Ansgar Fehnker, Axel Legay, Axel Legay, Cyrille Jegourel, Cyrille Jegourel, Daniel T. Gillespie, Danny Bøgsted Poulsen, Dehui Du, Edmund Clarke, Ezio Bartocci, Gerd Behrmann, Haijun Gong, Håkan L. S. Younes, Joost-Pieter Katoen, José M. G. Vilar, João Martins, Kim G. Larsen, Kim Guldstrand Larsen, Koushik Sen, Luca Bortolussi, Marius Mikučionis, Naama Barkai, Paolo Ballarini, Paolo Zuliani, Paolo Zuliani, Peter E. Bulychev, Peter E. Bulychev, Rajeev Alur, Rodolfo Gómez, Ron Koymans, S. Laplante, Sean Sedwards, Sumit Kumar Jha   +43 more
core   +5 more sources

A survey of multiple classifier systems as hybrid systems

Information Fusion, 2014
A current focus of intense research in pattern classification is the combination of several classifier systems, which can be built following either the same or different models and/or datasets building approaches. These systems perform information fusion
Michal Wozniak, M. Graña, E. Corchado
semanticscholar   +1 more source

Hybrid floating solar photovoltaics-hydropower systems: Benefits and global assessment of technical potential

, 2020
Floating solar photovoltaics (FPV) is an emerging, and increasingly viable, application of photovoltaics (PV) in which systems are sited directly on waterbodies.
N. Lee, Úrsula Grunwald, Evan Rosenlieb, Heather M. Mirletz, Alexandra Aznar, R. Spencer, S. Cox   +6 more
semanticscholar   +1 more source

Anytime system level verification via parallel random exhaustive hardware in the loop simulation [PDF]

, 2016
System level verification of cyber-physical systems has the goal of verifying that the whole (i.e., software + hardware) system meets the given specifications.
MANCINI, Toni, MARI, FEDERICO, MASSINI, Annalisa, MELATTI, IGOR, TRONCI, Enrico   +4 more
core   +1 more source

Optimization of traffic light phases at adjacent intersections [PDF]

ITM Web of Conferences
The article studies the relationships between the time intervals of traffic light phases and intersections. Traffic light objects can be mutually useful in relation to each other if they are correctly adjusted and the existing load is distributed.
Stupin Artem, Stupin Oleg, Makarchuk Ivan   +2 more
doaj   +1 more source

Charging Strategies for Electric Vehicles Using a Machine Learning Load Forecasting Approach for Residential Buildings in Canada

Applied Sciences
The global electric vehicle (EV) market is experiencing exponential growth, driven by technological advancements, environmental awareness, and government incentives. As EV adoption accelerates, it introduces opportunities and challenges for power systems
Ahmad Mohsenimanesh, Evgueniy Entchev
doaj   +1 more source