The correct operation of safety-critical cyber-physical systems is crucial. However, such systems often feature a large variability of start configurations, an intractably large state space, a high degree of uncertainty, or inherently unsafe ...

Supervisory control has been shown to be a very effective approach to adaptive control which ensures step‐tracking, exponential stability, and a degree of robustness to unmodeled dynamics. Here we apply the technique to the classical d$$ d $$‐...

This paper addresses a simple democratic progress model represented by a discrete‐event system (DES) and the influence of information accessibility on the progressiveness of the model. Each agent makes a decision according to its selfish criterion,...

The paper discusses the development of a supervisory control system enabling automatic stabilization of output parameters of multi-pass heater at a crude distillation unit. The system develops setpoints for base-level flow controllers to optimize ...

This paper presents a composite learning fuzzy control to synchronize two different uncertain incommensurate fractional‐order time‐varying delayed chaotic systems with unknown external disturbances and mismatched parametric uncertainties via the ...

Unmanned Aerial Vehicles (UAVs), also known as drones, have extensive applications in civilian rescue and military surveillance realms. A common drone control scheme among such applications is human supervisory control, in which human operators remotely ...

Resource management strategies for many-core systems need to enable sharing of resources such as power, processing cores, and memory bandwidth while coordinating the priority and significance of system- and application-level objectives at runtime in a ...

With the anticipated increase of robotic ground vehicles in military operations, it is important to develop human machine interfaces (HMIs) to control vehicles that accommodate the cognitive capacities of military personnel and support effective ...

Safety-critical real-time systems must meet stringent timing and fault-tolerance requirements. This article proposes a methodology for synthesizing an optimal preemptive multiprocessor aperiodic task scheduler using a formal supervisory control ...

Existing research assessing human operators' trust in automation and robots has primarily examined trust as a steady-state variable, with little emphasis on the evolution of trust over time. With the goal of addressing this research gap, we present a ...

This paper addresses the synthesis of Petri net PN controller for the forbidden state transition problem with a new utilisation of the theory of regions. Moreover, as any method of control synthesis based on a reachability graph, the theory of regions ...

In this paper, we design a supervisor to prevent vehicle collisions at intersections. An intersection is modeled as an area containing multiple conflict points where vehicle paths cross in the future. At every time step, the supervisor determines ...

Supervisory control and data acquisition and distributed control systems named SCADA/DCS have played a key role in the design of modern power smart applications, particularly in the automatic management of real-time energetic platforms. In this work, we ...

Supervisory control and data acquisition systems SCADA are required to deal with increasingly sensitive and crucial situations. The management and protection of these systems must constantly evolve towards integrated decisions support and policies ...

The rapid reconfiguration of manufacturing systems is an important issue in today's manufacturing technology in order to adjust the production to varying product demands and types. In this paper, we study the control of reconfigurable machine tools (...

Increased use of autonomy also increases the need for humans to interact with or manage autonomy. We propose a new variation of sliding autonomy useful for planning problems over a spatial region. With this approach, the user can influence the behavior ...

Abstract In this paper the hybrid supervisory control architecture developed by Famularo et al. 2011 for constrained control systems is adopted with the aim to improve safety in aircraft operations when critical events like command saturations or ...

Single Pilot Operations (SPO) of complex aircraft will require dividing tasks and roles between operators---whether those operators are collocated, distributed across space, or whether some of them are automated. Partitioning tasks almost inevitably ...

This paper describes ongoing efforts to address the challenges of supervising teams of heterogeneous unmanned vehicles through the use of demonstrated Ecological Interface Design EID principles. We first review the EID framework and discuss how we have ...

We argue that the concept and goal of "transparency" in human-automation interactions does not make sense as naively formulated; humans cannot be aware of everything automation is doing and why in most circumstances if there is to be any cognitive ...