Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equations. With the goal of developing a theoretical and practical foundation for deductive verification of hybrid systems, we introduce differential dynamic logic as a new logic with which correctness properties of hybrid...

in this paper a novel hybrid algorithm for harmonics estimation in power systems is proposed. the estimation of the harmonic components is a nonlinear problem due to the nonlinearity of phase of sinusoids in distorted waveforms. most researchers implemented nonlinear methods to extract the harmonic parameters. however, nonlinear methods for amplitude estimation increase time of convergence. hen...

using a hierarchical hybrid fuzzy model, this paper presents an intelligent system to manage the traffic of ambulances and the vehicles for transporting blood and blood products and generally the transportation related to health emergencies. the transportation of emergency patients, emergency accidents and health-related emergencies, and the transportation of blood and blood products should be ...

This paper determines and compares the cost of energy (COE) of various hybrid systems for several off-grid facilities in North and Far North regions of Cameroon by integrating renewable sources and/or storage with diesel generators. The estimated annual energy production by solar PV systems and wind turbines is also discussed. The aim is to study the application of a high penetration renewable ...

Simultaneous production planning and scheduling has been identified as one of the most important factors that affect the efficient implementation of planning and scheduling operations for the production systems. In this paper, simultaneous production planning and scheduling is applied in a hybrid flow shop environment, which has numerous applications in real industrial settings. In this problem...

In this paper a novel hybrid algorithm for harmonics estimation in power systems is proposed. The estimation of the harmonic components is a nonlinear problem due to the nonlinearity of phase of sinusoids in distorted waveforms. Most researchers implemented nonlinear methods to extract the harmonic parameters. However, nonlinear methods for amplitude estimation increase time of convergence. Hen...