Many robot systems employ logic based or reactive controllers making them hybrid systems (i.e mixed discretecontinuous). However, designing such control laws in a systematic manner remains a challenging task. In this case study, we apply the formal modelling paradigm to a team of mobile robots. The linear hybrid automata modelling framework is used to describe the high-level design, and the ver...

The design of controllers for hybrid systems (i.e. mixed discretecontinuous systems) in a systematic manner remains a challenging task. In this case study, we apply formal modeling to the design of communication and control strategies for a team of autonomous robots to attain speci ed goals in a coordinated manner. The model of linear hybrid automata is used to describe the high-level design, a...

in this paper, the dynamic simulation for a high pressure regulator is performed to obtain the regulator behavior. to analyze the regulator performance, the equation of motion for inner parts, the continuity equation for diverse chambers and the equation for mass flow rate were derived. because of nonlinearity and coupling, these equations are solved using numerical methods and the results are ...

In this paper, a class of uncertain, discrete-time, piecewise linear hybrid systems affected by both parameter variations and exterior disturbances is introduced. The robust tracking and regulation control problem for such uncertain piecewise linear hybrid systems is investigated. The main question is whether there exists a controller such that the closed-loop system exhibits desired behavior u...

Hybrid systems are digital real-time systems that are embedded in analog environments. Model-checking tools are available for the automatic analysis of linear hybrid automata, whose environment variables are subject to piecewise-constant polyhedral di erential inclusions. In most embedded systems, however, the environment variables have di erential inclusions that vary with the values of the va...

The paper deals with the realization theory of linear and bilinear hybrid systems, i.e. hybrid systems with continuous dynamics determined by linear ( respectively bilinear ) control systems. We will formulate necessary and sufficient conditions for the existence of a linear (bilinear ) hybrid system realizing the specified input/output maps. We will also present a characterization of a minimal...

Naphthol isomers were simultaneously and spectrophotometrically determined in wastewater, using a model based on net analyte signal (NAS). The calibration method used is a variation of the original hybrid linear analysis method as proposed by Goicoechea and Olivieri (HLA/GO). Owing to spectral interferences, the simultaneous determination of mixtures of naphthol isomers, using a spectrophotomet...

Background and Objectives: Efficient cost management in hospitals’ pharmaceutical inventories have the potential to remarkably contribute to optimization of overall hospital expenditures. To this end, reliable forecasting models for accurate prediction of future pharmaceutical demands are instrumental. While the linear methods are frequently used for forecasting purposes chiefly due to their si...

We present our work on developing a hybrid parallel programming model for a general finite element solver. The main focus of our work is to demonstrate that legacy codes with high latency, two-sided communication in the form of message passing can be improved using lightweight one-sided communication. We introduce a new hybrid MPI/PGAS implementation of the open source finite element framework ...