Results 11 to 20 of about 365,048 (328)
Supervisory Control for Behavior Composition [PDF]
We relate behavior composition, a synthesis task studied in AI, to supervisory control theory from the discrete event systems field. In particular, we show that realizing (i.e., implementing) a target behavior module (e.g., a house surveillance system ...
Felli, Paolo+2 more
core +2 more sources
Deception in Supervisory Control [PDF]
The use of deceptive strategies is important for an agent that attempts not to reveal his intentions in an adversarial environment. We consider a setting in which a supervisor provides a reference policy and expects an agent to follow the reference policy and perform a task.
Mustafa O. Karabag+2 more
openaire +2 more sources
A language measure for supervisory control
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Asok Ray, Amit Surana, Shashi Phoha
openalex +3 more sources
Communicating Processes with Data for Supervisory Coordination [PDF]
We employ supervisory controllers to safely coordinate high-level discrete(-event) behavior of distributed components of complex systems. Supervisory controllers observe discrete-event system behavior, make a decision on allowed activities, and ...
A. Overkamp+24 more
core +12 more sources
Supervisory Control for Opacity [PDF]
In the field of computer security, a problem that received little attention so far is the enforcement of confidentiality properties by supervisory control. Given a critical system G that may leak confidential information, the problem consists in designing a controller C, possibly disabling occurrences of a fixed subset of events of G, so that the ...
Dubreil, Jérémy+2 more
openaire +3 more sources
Decision Support in Supervisory Control [PDF]
It is argued that the supervisory control of complex industrial processes having a potential for serious consequences in case of accidents requires careful consideration of the allocation of decision making between the three main agents of control; namely the designer, the operator and the automatic control system.
Goodstein, L. P., Rasmussen, Jens
openaire +4 more sources
NON‐BLOCKING SUPERVISORY CONTROL FOR INITIALISED RECTANGULAR AUTOMATA [PDF]
We consider the problem of supervisory control for a class of rectangular automata and more specifically for compact rectangular automata with uniform rectangular activity, i.e. initialised.
M.P. Spathopoulos
openalex +4 more sources
Supervisory control with progressive events [PDF]
This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired results.
Malik, Robi, Ware, Simon
core +2 more sources
Norm Enforcement as Supervisory Control [PDF]
In this paper, we study normative multi-agent systems from a supervisory control theory perspective. Concretely, we show how to model three well-known types of norm enforcement mechanisms by adopting well-studied supervisory control theory techniques for discrete event systems.
Dastani, M.M.+2 more
openaire +5 more sources
Transmission Reliability Evaluation for Wireless Sensor Networks
Network reliability of Wireless Sensor Networks (WSNs) is difficult to be evaluated because of its complexity, multistates, and dynamic characteristics.
Xiaojuan Zhu+3 more
doaj +1 more source