Results 1 to 10 of about 454,783 (313)
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 communicate the control signals to the involved parties.
A. Overkamp+24 more
arxiv +5 more sources
A Process Algebra for Supervisory Coordination [PDF]
A supervisory controller controls and coordinates the behavior of different components of a complex machine by observing their discrete behaviour. Supervisory control theory studies automated synthesis of controller models, known as supervisors, based on formal models of the machine components and a formalization of the requirements. Subsequently, code
Jos C. M. Baeten+3 more
arxiv +7 more sources
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) by suitably coordinating a collection of available behaviors (e.g., automatic blinds, doors, lights ...
Felli P, Yadav N, Sardina S
openaire +3 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
This paper aims to explore a viable monitoring and management of active and reactive powers for a large-scale wind farm based on Doubly-Fed Induction Generators (DFIG) considering the voltage Fault-Ride-Through capability (FRT), especially Low-Voltage ...
Hammadi Laghridat+2 more
doaj +1 more source
Design and Implementation of Node-Red Based Open-Source SCADA Architecture for a Hybrid Power System
At present, hybrid renewable power systems (HRPS) are considered reliable combinations for power generation under various conditions. The challenge facing researchers and engineers today is designing and implementing a reliable, efficient, and applicable
Sayed Arash Omidi+2 more
doaj +1 more source
Supervisory Stress Tests [PDF]
We describe the background, design choices, and particular details of stress tests used as part of an overall supervisory regime, that is, their formal integration into the ongoing prudential supervision of banks and other large financial institutions.
Hirtle, Beverly, Lehnert, Andreas
openaire +5 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 +4 more sources
Fiscal Sustainability and Risks of Provincial Government After Pandemic
The Covid-19 pandemic that has hit the world since the year 2019 puts fiscal pressure on the Governments of Indonesia. The Government of Indonesia has spent very big expenses to deal with the pandemic and recovery the national economic conditions.
Tri Wibowo
doaj +1 more source
Science-based data service to accelerate geothermal developments in Hungary
Hungary’s rich geothermal resources provide a real option to tackle the present energy crisis, decrease the country’s high gas dependency and decarbonise its heating sector.
Annamária Nádor
doaj +1 more source