A third of the Dutch highways is monitored and controlled by roadside units. These RSUs are safety-critical systems, as they safeguard roadworks accidents. Therefore, it essential to have guarantees on correctness unit controller. Using supervisory control theory, a correct-by-construction supervisor obtained from model system its requirements. From model, controller implementation can be autom...

In this paper, we propose a supervisory control system for motion planning of humanoid robots. The proposed system is hierarchically structured into two levels. The lower level controls and monitors the robots using modular state nets. The upper level generates an optimal sequence of motion for user’s requirements using timed Petri nets. Keywords— humanoid robot, modular state net, timed Petri ...

A hierarchical consistency problem for the hierarchical supervisory control of discrete event systems under partial observation is considered, since observability is a practical and general property in real systems. The notion of H-observability is introduced to ensure hierarchical consistency between lowand high-level systems, and an analytical framework for the hierarchical supervisory contro...

Coalgebraic techniques are applied to the supervisory control of discrete-event systems with partial observations. Classical notions from concurrency theory are specialized to control theory. The concept of weak transitions enables the relational characterization of observability and gives rise to a coalgebraic formulation of the necessary and sufficient conditions for the existence of a superv...

Adaptive Controllers are susceptible to many commonly occurring implementation problems, and require some form of supervision to maintain good performance. In this thesis a two level adaptive control strategy is presented that uses an expert system to diagnose and correct problems with an adaptive controller. In contrast with other expert supervised adaptive control schemes, where problem treat...

In this paper, the functions that can be automated in distribution systems can be classified into two categories, namely, monitoring functions and control functions. Monitoring functions are those needed to record meter readings at different locations in the system, the system status at different locations and events of abnormal conditions. The data monitored at the system level are not only us...

Abstract Terrorist financing is the economic basis of terrorist activities and lifeline organizations. In recent years, organizations have gradually come to use cryptocurrency finance their based on traditional ways raising funds. The anonymity attractive organizations, but its remains at a low level. To explore future development ability in financing, we study internal characteristics status, ...

We examine the impact of fintech start-ups on performance and default risk traditional financial institutions. find a positive relationship between start-up formations incumbent institutions’ for period 2005–2018 large sample institutions from 87 countries. further analyze link Fintech decrease stock return volatility systemic exposure The findings indicate that legislators supervisory authorit...

In today’s competitive world, manufacturers have realized that they need to embrace automation as their mantra to success. However, the impact of automation primarily concerns with the effectiveness of process monitoring and control systems. There is a need for a closed loop supervisory system, which integrates and coordinates individual process modules for real-time adjustment, conflict resolu...