-
Synthesis of Event-triggered Controllers for SIRS Epidemic Models
Authors:
Lichen Ding,
Kazumune Hashimoto,
Shigemasa Takai
Abstract:
In this paper, we investigate the problem of mitigating epidemics by applying an event-triggered control strategy. We consider a susceptible-infected-removed-susceptible (SIRS) model, which builds upon the foundational SIR model by accounting for reinfection cases. The event-triggered control strategy is formulated based on the condition in which the control input (e.g., the level of public measur…
▽ More
In this paper, we investigate the problem of mitigating epidemics by applying an event-triggered control strategy. We consider a susceptible-infected-removed-susceptible (SIRS) model, which builds upon the foundational SIR model by accounting for reinfection cases. The event-triggered control strategy is formulated based on the condition in which the control input (e.g., the level of public measures) is updated only when the fraction of the infected subjects changes over a designed threshold. To synthesize the event-triggered controller, we leverage the notion of a symbolic model, which represents an abstracted expression of the transition system associated with the SIRS model under the event-triggered control strategy. %The symbolic model is constructed based on an approximate alternating simulation relation. Then, by employing safety and reachability games, two event-triggered controllers are synthesized to ensure a desired specification, which is more sophisticated than the one given in previous works. The effectiveness of the proposed approach is illustrated through numerical simulations.
△ Less
Submitted 13 October, 2023;
originally announced October 2023.
-
Bayesian Meta-Learning on Control Barrier Functions with Data from On-Board Sensors
Authors:
Wataru Hashimoto,
Kazumune Hashimoto,
Akifumi Wachi,
Xun Shen,
Masako Kishida,
Shigemasa Takai
Abstract:
In this paper, we consider a way to safely navigate the robots in unknown environments using measurement data from sensory devices. The control barrier function (CBF) is one of the promising approaches to encode safety requirements of the system and the recent progress on learning-based approaches for CBF realizes online synthesis of CBF-based safe controllers with sensor measurements. However, th…
▽ More
In this paper, we consider a way to safely navigate the robots in unknown environments using measurement data from sensory devices. The control barrier function (CBF) is one of the promising approaches to encode safety requirements of the system and the recent progress on learning-based approaches for CBF realizes online synthesis of CBF-based safe controllers with sensor measurements. However, the existing methods are inefficient in the sense that the trained CBF cannot be generalized to different environments and the re-synthesis of the controller is necessary when changes in the environment occur. Thus, this paper considers a way to learn CBF that can quickly adapt to a new environment with few amount of data by utilizing the currently developed Bayesian meta-learning framework. The proposed scheme realizes efficient online synthesis of the controller as shown in the simulation study and provides probabilistic safety guarantees on the resulting controller.
△ Less
Submitted 9 August, 2023;
originally announced August 2023.
-
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks
Authors:
Wataru Hashimoto,
Kazumune Hashimoto,
Masako Kishida,
Shigemasa Takai
Abstract:
In this paper, we propose a control synthesis method for signal temporal logic (STL) specifications with neural networks (NNs). Most of the previous works consider training a controller for only a given STL specification. These approaches, however, require retraining the NN controller if a new specification arises and needs to be satisfied, which results in large consumption of memory and ineffici…
▽ More
In this paper, we propose a control synthesis method for signal temporal logic (STL) specifications with neural networks (NNs). Most of the previous works consider training a controller for only a given STL specification. These approaches, however, require retraining the NN controller if a new specification arises and needs to be satisfied, which results in large consumption of memory and inefficient training. To tackle this problem, we propose to construct NN controllers by introducing encoder-decoder structured NNs with an attention mechanism. The encoder takes an STL formula as input and encodes it into an appropriate vector, and the decoder outputs control signals that will meet the given specification. As the encoder, we consider three NN structures: sequential, tree-structured, and graph-structured NNs. All the model parameters are trained in an end-to-end manner to maximize the expected robustness that is known to be a quantitative semantics of STL formulae. We compare the control performances attained by the above NN structures through a numerical experiment of the path planning problem, showing the efficacy of the proposed approach.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
A Lifting Approach to Learning-Based Self-Triggered Control with Gaussian Processes
Authors:
Wang Zhijun,
Kazumune Hashimoto,
Wataru Hashimoto,
Shigemasa Takai
Abstract:
This paper investigates the design of self-triggered control for networked control systems (NCS), where the dynamics of the plant is unknown apriori. To deal with the nature of the self-triggered control, in which state measurements are transmitted to the controller a-periodically, we propose to lift the continuous-time dynamics to a novel dynamical model by taking an inter-event time as an additi…
▽ More
This paper investigates the design of self-triggered control for networked control systems (NCS), where the dynamics of the plant is unknown apriori. To deal with the nature of the self-triggered control, in which state measurements are transmitted to the controller a-periodically, we propose to lift the continuous-time dynamics to a novel dynamical model by taking an inter-event time as an additional input, and then, the lifted model is learned by the Gaussian processes (GP) regression. Moreover, we propose a learning-based approach, in which a self-triggered controller is learned by minimizing a cost function, such that it can take inter-sample behavior into account. By employing the lifting approach, we can utilize a gradient-based policy update as an efficient method to optimize both control and communication policies. Finally, we summarize the overall algorithm and provide a numerical simulation to illustrate the effectiveness of the proposed approach.
△ Less
Submitted 21 February, 2022;
originally announced February 2022.
-
STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks
Authors:
Wataru Hashimoto,
Kazumune Hashimoto,
Shigemasa Takai
Abstract:
In this paper, a method for learning a recurrent neural network (RNN) controller that maximizes the robustness of signal temporal logic (STL) specifications is presented. In contrast to previous methods, we consider synthesizing the RNN controller for which the user is able to select an STL specification arbitrarily from multiple STL specifications. To obtain such a controller, we propose a novel…
▽ More
In this paper, a method for learning a recurrent neural network (RNN) controller that maximizes the robustness of signal temporal logic (STL) specifications is presented. In contrast to previous methods, we consider synthesizing the RNN controller for which the user is able to select an STL specification arbitrarily from multiple STL specifications. To obtain such a controller, we propose a novel notion called STL2vec, which represents a vector representation of the STL specifications and exhibits their similarities. The construction of the STL2vec is useful since it allows us to enhance the efficiency and performance of the RNN controller. We validate our proposed method through the examples of the path planning problem.
△ Less
Submitted 16 December, 2021; v1 submitted 9 September, 2021;
originally announced September 2021.
-
Kondo effect in CeX$_{c}$ (X$_{c}$=S, Se, Te) studied by electrical resistivity under high pressure
Authors:
Y. Hayashi,
S. Takai,
T. Matsumura,
H. Tanida,
M. Sera,
K. Matsubayashi,
Y. Uwatoko,
A. Ochiai
Abstract:
We have measured the electrical resistivity of cerium monochalcogenices, CeS, CeSe, and CeTe, under high pressures up to 8 GPa. Pressure dependences of the antiferromagnetic ordering temperature $T_{N}$, crystal field splitting, and the $\ln T$ anomaly of the Kondo effect have been studied to cover the whole region from the magnetic ordering regime at low pressure to the Fermi liquid regime at hig…
▽ More
We have measured the electrical resistivity of cerium monochalcogenices, CeS, CeSe, and CeTe, under high pressures up to 8 GPa. Pressure dependences of the antiferromagnetic ordering temperature $T_{N}$, crystal field splitting, and the $\ln T$ anomaly of the Kondo effect have been studied to cover the whole region from the magnetic ordering regime at low pressure to the Fermi liquid regime at high pressure. $T_{N}$ initially increases with increasing pressure, and starts to decrease at high pressure as expected from the Doniach's diagram. Simultaneously, the $\ln T$ behavior in the resistivity is enhanced, indicating the enhancement of the Kondo effect by pressure. It is also characteristic in CeX$_{c}$ that the crystal field splitting rapidly decreases at a common rate of $-12.2$ K/GPa. This leads to the increase in the degeneracy of the $f$ state and further enhancement of the Kondo effect. It is shown that the pressure dependent degeneracy of the $f$ state is a key factor to understand the pressure dependence of $T_{N}$, Kondo effect, magnetoresistance, and the peak structure in the temperature dependence of resistivity.
△ Less
Submitted 21 December, 2015;
originally announced December 2015.
-
Incommensurate-Commensurate Magnetic Phase Transition in SmRu$_{2}$Al$_{10}$
Authors:
S. Takai,
T. Matsumura,
H. Tanida,
M. Sera
Abstract:
Magnetic properties of single crystalline SmRu$_{2}$Al$_{10}$ have been investigated by electrical resistivity, magnetic susceptibility, and specific heat. We have confirmed the successive magnetic phase transitions at $T_{\text{N}}=12.3$ K and $T_{\text{M}}=5.6$ K. Resonant x-ray diffraction has also been performed to study the magnetic structures. Below $T_{\text{N}}$, the Sm$^{3+}$ moments orde…
▽ More
Magnetic properties of single crystalline SmRu$_{2}$Al$_{10}$ have been investigated by electrical resistivity, magnetic susceptibility, and specific heat. We have confirmed the successive magnetic phase transitions at $T_{\text{N}}=12.3$ K and $T_{\text{M}}=5.6$ K. Resonant x-ray diffraction has also been performed to study the magnetic structures. Below $T_{\text{N}}$, the Sm$^{3+}$ moments order in an incommensurate structure with $q_1=(0, 0.759, 0)$. The magnetic moments are oriented along the orthorhombic $b$ axis, which coincides with the magnetization easy axis in the paramagnetic phase. A very weak third harmonic peak is also observed at $q_3=(0, 0.278, 0)$. The transition at $T_{\text{M}}$ is a lock-in transition to the commensurate structure described by $q_1=(0, 0.75, 0)$. A well developed third harmonic peak is observed at $q_3=(0, 0.25, 0)$. From the discussion of the magnetic structure, we propose that the long-range RKKY interaction plays an important role, in addition to the strong nearest neighbor antiferromagnetic interaction.
△ Less
Submitted 9 November, 2015;
originally announced November 2015.
-
Structural Domain Switching by Magnetic Fields in RAl$_3$C$_3$ (R=Rare Earth)
Authors:
T. Matsumura,
Y. Hayashi,
S. Takai,
T. Otsubo,
S. Matsuda,
A. Ochiai
Abstract:
Hexagonal-to-orthorhombic structural transitions in RAl$_3$C$_3$ have been studied by X-ray diffraction for R=Yb, Tm, Er, Dy, and Lu. We report how orthorhombic domains are controlled by adjusting external magnetic fields. It is shown that orthorhombic domains in RAl$_3$C$_3$ can be aligned by the field when the R ion is magnetic. It is also shown that a single-domain state can be switched to anot…
▽ More
Hexagonal-to-orthorhombic structural transitions in RAl$_3$C$_3$ have been studied by X-ray diffraction for R=Yb, Tm, Er, Dy, and Lu. We report how orthorhombic domains are controlled by adjusting external magnetic fields. It is shown that orthorhombic domains in RAl$_3$C$_3$ can be aligned by the field when the R ion is magnetic. It is also shown that a single-domain state can be switched to another single-domain state by the field even in paramagnetic states with small induced moments. For R=Lu, however, it was not possible to change the multidomain state by a field of up to 70 kOe. We discuss that domain selection and switching are caused by magnetic anisotropies in the orthorhombic phase of RAl$_3$C$_3$. We also propose an idea to explain the field-induced antiferromagnetism revealed by Khalyavin et al. [Phys. Rev. B \textbf{87}, 220406 (2013)].
△ Less
Submitted 30 September, 2015;
originally announced September 2015.