Employing Modeling and Simulation (M&S) extensively to analyze develop complex systems is the norm today. The use of robust M&S formalisms rigorous methodologies essential deal with complexity. Among them, Discrete Event System Specification (DEVS) provides a solid framework for modeling structural, behavior information aspects any system. This gives several advantages design systems: completen...

In this paper we propose a hybrid system modeling framework aimed at analyzing diagnosability. In this framework, the hybrid system is seen as the composition of an underlying discrete event and an underlying continuous systems. Diagnosability of these two underlying systems are fully analyzed and new results are provided for the underlying continuous system (called the multimode system). Based...

Computer modeling and simulation is recognized by John Holland and many others as the central tool with which to experiment on complex adaptive systems (CAS). Less well recognized is that in the last thirty years, advances in the theory of modeling and simulation have crystallized a new class of models suitable for the computational requirements of CAS studies. This article discusses the abstra...

In this section we present an overview for the development of complex discrete event and hybrid systems within the robotics, automation, and intelligent system domain. We start by presenting an overview of discrete event and hybrid systems, and then illustrate the concept by an example from the robotics and automation domain. The application discussed is for formulating an observer for manipula...

We present a process-algebraic framework for performance evaluation of discrete-time discrete-event systems. The modeling of the system builds on a process algebra with conditionallydistributed discrete-time delays and generally-distributed stochastic delays. In the general case, the performance analysis is done with the toolset of the modeling language χ by means of discrete-event simulation. ...

Embedded control system design involves continuous time, discrete event mode switching, and discontinuities in system behavior and requires support for: (i) continuous behavior, (ii) discrete event behavior, and (iii) re-initialization when discrete events occur. The graphical block diagram formalism that supports continuous behavior modeling is extended by logic components that seamlessly inte...

Discrete event systems are presented as a powerful framework for a large number of robot control tasks. This paper presents a general description of the discrete event modeling and control synthesis for robot manipulation. Additionally, methods for the effective monitoring of the process based on the detection and identification of discrete events are given. The effectiveness and versatility of...