Description, analysis and control design of discrete state and hybrid systems

Classical modeling of physical systems relies on differential-difference type equations. However many systems today contain logical quantities and decision makers. For example a robot can be modeled by differential equations but the task of the robot or how to accomplish that task requires dealing with logic (discrete) variables. Therefore for today's and future needs, it is essential to study systems with both discrete and continuous quantities which we call hybrid systems. Thus study of hybrid systems is one more step towards intelligent machines.;In this thesis we describe a formulation and provide models for discrete state and hybrid systems. We introduce the classical and refined analysis methods for both discrete and hybrid state space. We analyze the construction and behavior of the models considered. We consider some control strategies to obtain a desirable behavior. Furthermore we provide some examples of discrete state and hybrid systems.