Search Results for author:
Found 5 papers, 1 papers with code
Safe Environmental Envelopes of Discrete Systems
This paper proposes a notion of \emph{robustness} as an explicit, first-class property of a transition system that captures how robust it is against possible \emph{deviations} in the environment.
A Model Predictive Control Framework for Improving Risk-Tolerance of Manufacturing Systems
The need for control strategies that can address dynamic system uncertainty is becoming increasingly important.
Risk-Averse Model Predictive Control for Priced Timed Automata
In this paper, we propose a Risk-Averse Priced Timed Automata (PTA) Model Predictive Control (MPC) framework to increase flexibility of cyber-physical systems.
On tolerance of discrete systems with respect to transition perturbations
In this paper, we propose an approach for analyzing control systems with respect to their tolerance against environmental perturbations.
Using Subobservers to Synthesize Opacity-Enforcing Supervisors
In discrete-event system control, the worst-case time complexity for computing a system's observer is exponential in the number of that system's states.
