Ushio, Toshimitsu

1. Learning-based Symbolic Abstractions for Nonlinear Control Systems
   2020/04/04 by Hashimoto, Kazumune, Saoud, Adnane, Kishida, Masako +2 · 3 citations
   #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications
   2021/05/07 by Ryohei Oura, Toshimitsu Ushio, Oura, Ryohei +3 · 2 citations
   Computer Science · Engineering · #Petri Nets in System Modeling #Formal Methods in Verification #Flexible and Reconfigurable Manufacturing Systems
3. Event-Triggered Control for Mitigating SIS Spreading Processes
   2020/12/30 by Kazumune Hashimoto, Hashimoto, Kazumune, Yuga Onoue +5 · 1 citation
   Mathematics · Physics and Astronomy · #COVID-19 epidemiological studies #Complex Network Analysis Techniques #FOS: Mathematics #Opinion Dynamics and Social Influence #Optimization and Control (math.OC)