For the purpose of studying stability of hybrid automata, we will again drop reference to inputs (and outputs) of the system and focus on the state trajectory. Later, we will bring the inputs (and outputs) back in when we talk about stabilizing controllers. For reference to the following material, see [1, 2], Chapters 3 and 2 respectively.

Constructed wetlands have not been commonly used in Vietnam due to the lack of information in the selection of proper types of constructed wetlands, type of reeds, design parameters and performance efficiency, in tropical climates. This paper focuses on Canna generalis, which is a common reed and easy to grow both in water and wet land conditions. Two kinds of hybrid constructed wetlan...

We describe a hybrid meta-heuristic algorithm for combinatorial optimization problems with a specific reference to the travelling salesman problem (TSP). The method is a combination of a genetic algorithm (GA) and greedy randomized adaptive search procedure (GRASP). A new adaptive fuzzy a greedy search operator is developed for this hybrid method. Computational experiments using a wide range of...

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 ...

in order to evaluate the effect of different planting patterns and different varieties of corn on quantity management in 2015 as a split-plot in a randomized complete block with 3 replications. the test pattern as the main factor in two levels in the atmosphere and the stack corn hybrids in four sub-levels maxima, asv3, magi 704 and 400 were hybrids. the effect of planting pattern, the maximum ...

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, ...

Helping students in the professions apply conceptual ideas to the problems of practice is a key goal of problem-based learning (PBL). Because PBL is organized around small, collaborative groups, scaling up PBL to large, heterogeneous classes poses significant challenges for implementation. This study presents a hybrid model that mixes online and face-to-face PBL. The STELLAR system was develope...