Abstract:Switching max-plus linear system (SMPLS) models are an apt formalism for performance analysis of discrete-event systems. SMPLS analysis is more scalable than analysis through other formalisms such as timed automata, because SMPLS abstract pieces of determinate concurrent system behavior into atomic modes with fixed timing. We consider discrete-event systems that are decomposed into a plant and a Supervisory Controller (SC) that controls the plant. The SC needs to react to events, concerning e.g. the successful completion or failure of an action, to determine the future behavior of the system, for example, to initiate a retrial of the action. To specify and analyze such system behavior and the impact of feedback on timing properties, we introduce an extension to SMPLS with discrete-event feedback. In this extension, we model the plant behavior with system modes and capture the timing of discrete-event feedback emission from plant to SC in the mode matrices. Furthermore, we use I/O automata to capture how the SC responds to discrete-event feedback with corresponding mode sequences of the SMPLS. We define the semantics of SMPLS with events using new state-space equations that are akin to classical SMPLS with dynamic state-vector sizes. To analyze the extended models, we formulate a transformation from SMPLS with events to classical SMPLS with equivalent semantics and properties such that performance properties can be analyzed using existing techniques. Our approach enables the specification of discrete-event feedback from the plant to the SC and its performance analysis. We demonstrate our approach by specifying and analyzing the makespan of a flexible manufacturing system.

Hybrid Modelling And Performance Evaluation Of Switched Discrete-Event Systems

Performance Evaluation of Switched Discrete Event Systems

Fe b 20 02 Performance Evaluation of Switched Discrete Event Systems 1

Stability Analysis for Discrete Switched Systems with Time Delay

Reliability of a Class of Nonlinear Systems under Switching Random Excitations

On Modeling and Optimal Control of a Class of Hybrid Systems

Hybrid Performance Modeling And Analyzing Of Parallel Systems

Stability Analysis and Control for Switched System with Bounded Actuators

Modeling and analysis of switching max-plus linear systems with discrete-event feedback

Review on Hybrid Systems Based on Generalized Time Space Model

Stabilization of A Class of Hybrid Discrete-Time Systems

A Dioid Linear Algebraic Model for a Class of Hybrid Event Graphs

Asymptotic Stability with Probability One of Random-Time-Delay-Controlled Quasi-Integrable Hamiltonian Systems

Event-triggered control of switched 2D continuous-discrete systems

Stable and Real-Time Scheduling of a Class of Hybrid Dynamic Systems

Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions

Stabilization and performance analysis for a class of switched systems

Stabilization of a Class Switched Linear Systems

Discretization-based Stabilization for a Class of Switched Linear Systems with Communication Delays

Optimization Of Semi-Markov Switching State-Space Control Processes For Network Communication Systems

Asymptotic Switched Composite Adaptive Control with Application to Robotic Interaction Tasks