Your English writing platform
Discover LudwigSuggestions(1)
Exact(34)
We study the problem of supervisory control of autonomous intersections in the presence of sensor attacks.
It will demand more supervisory control of a bank at the heart of the British financial system.
Supervisory control of distributed DES with a global specification and local supervisors is a difficult problem.
Supervisory control of multiple Remotely Piloted Aircrafts (RPAs) involves complex human system coordination.
This paper presents an investigation of machine learning for supervisory control of a supermarket refrigeration system.
The method is well suited for conformance testing and supervisory control of real-time DES.
Similar(26)
We illustrate the applicability of this model-driven approach by migrating (part of) the supervisory control architecture of an advanced manufacturing machine: a wafer scanner developed by ASML.
In this paper, we propose the use of the supervisory control theory of discrete event dynamic systems (DEDS) to provide a rigorous foundation for designing software for reactive systems.
In this paper, we investigate the adaptation of the supervisory control theory of Ramadge and Wonham to enforce a modal specification (with final states marking the ends of the sessions) on a system modelled by a finite LTS.
Supervisory control schemes of (complex) plants utilize different forms of automata or related structures such as Petri-nets.
We then present results from our group on two problems: (i) obfuscation of system secrets by insertion of fictitious events in the output stream of the system; and (ii) sensor deception attacks in the supervisory control layer of a cyber-physical system.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com