Hybrid fuzzy expert systems are one of the most practical intelligent paradigm of soft computing techniques with the high potential for managing uncertainty associated to the medical diagnosis. The potential of genetic algorithm (GA) by inspiring from natural evolution as a learning and optimization technique has been vastly concentrated for improving fuzzy expert systems. In this paper, the GA...

This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodically while internal and input actions may occur in the interim changing the discrete-state or the setpoint. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariance of PCHAs is presen...

Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that systems are frequently designed and verified in a modular approach, it is desirable that this relationship is compositional, which is not the case for hybrid systems in general. We identify subclasses of linear hybrid ...

A methodology for synthesizing control laws of hybrid systems is proposed using the hybrid automaton framework. The objective is to synthesize guards for making phase transitions to ensure that the system satisses global invariance over the whole state space. Classical analysis is used to derive a controller given the phases, transitions and global invariance of a hybrid system. The methodology...

We propose an online diagnosis approach for a class of hybrid systems. The normal and the faulty behaviors of the system are modeled with rectangular hybrid automata. Our approach is based on the use of a diagnosis procedure which performs, online, an estimation of the system states, within a given time window, and based on the current record of observable timed events. Each new estimation can ...

This paper proposes a new methodology for coordinating multi-robot teams in the execution of cooperative tasks. It is based on a dynamic role assignment mechanism in which the robots assume and exchange roles during cooperation. We model the role assignment under a hybrid systems framework, using a hybrid automaton to represent roles, transitions and controllers. Using a multi-robot simulator, ...

Hybrid electric vehicles employ a hydraulic braking system and a regenerative braking system together to provide enhanced braking performance and energy regeneration. In this paper an integrated braking system is proposed for an electric hybrid vehicle that include a hydraulic braking system and a regenerative braking system which is functionally connected to an electric traction motor. In the ...