Steering of Discrete Event Systems: Control Theory Approach

Authors:
Arvind Easwaran;Sampath Kannan;Oleg Sokolsky
Affiliations:
Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA;Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA;Department of Computer and Information Science, University of Pennsylvania, Philadelphia, USA
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 4
Cited 4

Adaptive Workload Management through Elastic Scheduling

Real-Time Systems
Steering of Real-Time Systems Based on Monitoring and Checking

WORDS '99 Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems
Reconciling System Requirements and Runtime Behavior

IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Introduction to Discrete Event Systems

Introduction to Discrete Event Systems

Bridging the gap: Discrete-Event Systems for software engineering (short position paper)

C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Model-based Runtime Verification Framework

Electronic Notes in Theoretical Computer Science (ENTCS)
On-Line Model Checking as Operating System Service

SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
From Offline toward Real-Time: A Hybrid Systems Model Checking and CPS Co-design Approach for Medical Device Plug-and-Play (MDPnP)

ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do not assume a system model and hence cannot predict violations until they occur. This limits the practical applicability of runtime verification. Steering is the process of predicting the occurrence of violations and preventing them by controlling system execution. Steerers can achieve this using a limited knowledge of the system model even in situations where it is infeasible to store the entire model. In this paper, we explore a control-theoretic view of steering for discrete event systems. We introduce an architecture for steering and also describe different steering paradigms.