142 research outputs found
Synthesis of Covert Actuator Attackers for Free
In this paper, we shall formulate and address a problem of covert actuator
attacker synthesis for cyber-physical systems that are modelled by
discrete-event systems. We assume the actuator attacker partially observes the
execution of the closed-loop system and is able to modify each control command
issued by the supervisor on a specified attackable subset of controllable
events. We provide straightforward but in general exponential-time reductions,
due to the use of subset construction procedure, from the covert actuator
attacker synthesis problems to the Ramadge-Wonham supervisor synthesis
problems. It then follows that it is possible to use the many techniques and
tools already developed for solving the supervisor synthesis problem to solve
the covert actuator attacker synthesis problem for free. In particular, we show
that, if the attacker cannot attack unobservable events to the supervisor, then
the reductions can be carried out in polynomial time. We also provide a brief
discussion on some other conditions under which the exponential blowup in state
size can be avoided. Finally, we show how the reduction based synthesis
procedure can be extended for the synthesis of successful covert actuator
attackers that also eavesdrop the control commands issued by the supervisor.Comment: The paper has been accepted for the journal Discrete Event Dynamic
System
Networked Supervisor Synthesis Against Lossy Channels with Bounded Network Delays as Non-Networked Synthesis
In this work, we study the problem of supervisory control of networked
discrete event systems. We consider lossy communication channels with bounded
network delays, for both the control channel and the observation channel. By a
model transformation, we transform the networked supervisor synthesis problem
into the classical (non-networked) supervisor synthesis problem (for
non-deterministic plants), such that the existing supervisor synthesis tools
can be used for synthesizing networked supervisors. In particular, we can use
the (state-based) normality property for the synthesis of the supremal
networked supervisors, whose existence is guaranteed by construction due to our
consideration of command non-deterministic supervisors. The effectiveness of
our approach is illustrated on a mini-guideway example that is adapted from the
literature, for which the supremal networked supervisor has been synthesized in
the synthesis tools SuSyNA and TCT.Comment: This paper is under review for Automatic
Characterization of 250 MeV protons from Varian ProBeam pencil beam scanning system for FLASH radiation therapy
Recently, shoot-through proton FLASH has been proposed where the highest
energy is extracted from the cyclotron to maximize the dose rate (DR). Even
though our proton pencil beam scanning system can deliver 250 MeV (the highest
energy), it is not typical to use 250 MeV protons for routine clinical
treatments and as such 250 MeV may not have been characterized in the
commissioning. In this study, we aim to characterize 250 MeV protons from
Varian ProBeam system for FLASH RT as well as assess the ability of clinical
monitoring ionization chamber (MIC) for FLASH-readiness. We measured data
needed for beam commissioning: integral depth dose (IDD) curve, spot sigma, and
absolute dose calibration. To evaluate MIC, we measured output as a function of
beam current. To characterize a 250 MeV FLASH beam, we measured: (1) central
axis DR as a function of current and spot spacing and arrangement, (2) for a
fixed spot spacing, the maximum field size that still achieves FLASH DR (i.e.,
> 40 Gy/s), (3) DR reproducibility. All FLASH DR measurements were performed
using ion chamber for the absolute dose and irradiation times were obtained
from log files. We verified dose measurements using EBT-XD films and
irradiation times using a fast, pixelated spectral detector. R90 and R80 from
IDD were 37.58 and 37.69 cm, and spot sigma at isocenter were {\sigma}x=3.336
and {\sigma}y=3.332 mm, respectively. The absolute dose output was measured as
0.377 GyE*mm2/MU for the commissioning conditions. Output was stable for beam
currents up to 15 nA, and it gradually increased to 12-fold for 115 nA. DR
depended on beam current, spot spacing and arrangement and could be reproduced
within 4.2% variations. Even though FLASH was achieved and the largest field
size that delivers FLASH DR was determined as 35x35 mm2, current MIC has DR
dependence and users should measure DR each time for their FLASH applications.Comment: 11 pages, 6 figure
Interference control of perfect photon absorption in cavity quantum electrodynamics
We propose and analyze a scheme for controlling coherent photon transmission
and reflection in a cavity-quantum-electrodynamics (CQED) system consisting of
an optical resonator coupled with three-level atoms coherently prepared by a
control laser from free space. When the control laser is off and the cavity is
excited by two identical light fields from two ends of the cavity, the two
input light fields can be completely absorbed by the CQED system and the light
energy is converted into the excitation of the polariton states, but no light
can escape from the cavity. Two distinct cases of controlling the perfect
photon absorption are analyzed: (a) when the control laser is tuned to the
atomic resonance and creates electromagnetically induced transparency, the
prefect photon absorption is suppressed and the input light fields are nearly
completely transmitted through the cavity; (b) when the control laser is tuned
to the polariton state resonance and inhibits the polariton state excitation,
the perfect photon absorption is again suppressed and the input light fields
are nearly completely reflected from the cavity. Thus, the CQED system can act
as a perfect absorber or near perfect transmitter/reflector by simply turning
off or on of the control laser. Such interference control of the coherent
photon-atom interaction in the CQED system should be useful for a variety of
applications in optical logical devices.Comment: 14 pages, 9 figure
- …