913 research outputs found
Attack-Resilient Supervisory Control of Discrete-Event Systems
In this work, we study the problem of supervisory control of discrete-event
systems (DES) in the presence of attacks that tamper with inputs and outputs of
the plant. We consider a very general system setup as we focus on both
deterministic and nondeterministic plants that we model as finite state
transducers (FSTs); this also covers the conventional approach to modeling DES
as deterministic finite automata. Furthermore, we cover a wide class of attacks
that can nondeterministically add, remove, or rewrite a sensing and/or
actuation word to any word from predefined regular languages, and show how such
attacks can be modeled by nondeterministic FSTs; we also present how the use of
FSTs facilitates modeling realistic (and very complex) attacks, as well as
provides the foundation for design of attack-resilient supervisory controllers.
Specifically, we first consider the supervisory control problem for
deterministic plants with attacks (i) only on their sensors, (ii) only on their
actuators, and (iii) both on their sensors and actuators. For each case, we
develop new conditions for controllability in the presence of attacks, as well
as synthesizing algorithms to obtain FST-based description of such
attack-resilient supervisors. A derived resilient controller provides a set of
all safe control words that can keep the plant work desirably even in the
presence of corrupted observation and/or if the control words are subjected to
actuation attacks. Then, we extend the controllability theorems and the
supervisor synthesizing algorithms to nondeterministic plants that satisfy a
nonblocking condition. Finally, we illustrate applicability of our methodology
on several examples and numerical case-studies
MUSICAL COMPOSITION AND ELEMENTARY EXCITATIONS OF THE ENVIRONMENT
During the performance of a musical composition a special human environment comes into being. We aim to interpret the compositions as a specific class of human environment in order to utilise that for description of structure and dynamics of general human environment. In particular, we analysed four Bach's fugas considering their motifs and introducing the concept of the energy of a motif. We used bosonic excitations from theoretical physics as an analogical starting point for this concept, with the aim of proposing a new way to shed light onto more complex human environments. The aim is neither to reduce music to physical theories nor to define new theories of music, but to approach the investigation of complex environments in a new way, using already existing concepts
The migration of Flemish weavers to England in the fourteenth century: the economic influence and transfer of skills 1331-1381
- …