Steering of Discrete Event Systems: Control Theory Approach

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
General Robotics, Automation, Sensing and Perception Laboratory
Degree type
Discipline
Subject
GRASP
runtime correction
steering
runtime checking
control theory
Computer Engineering
Computer Sciences
Funder
Grant number
License
Copyright date
Distributor
Related resources
Contributor
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.

Advisor
Date of presentation
2005-07-12
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-16T23:55:53.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
Postprint version. Published in Electronic Notes in Theoretical Computer Science, Volume 144, Issue 4, 2005, pages 21-39. Publisher URL: http://dx.doi.org/10.1016/j.entcs.2005.02.066
Recommended citation
Collection