Toshimitsu Ushio

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 79

Top Venues

CoRR

IEICE Trans. Fundam. Electron. Commun. Comput. Sci.

IEEE Control. Syst. Lett.

ICCPS

Publications

Jingjing Wang, Yanjing Sun, Bowen Wang, Toshimitsu Ushio
Mission-Aware UAV Deployment for Post-Disaster Scenarios: A Worst-Case SAC-Based Approach. IEEE Trans. Veh. Technol. 73 (2) (2024)
Kotaro Nagae, Toshimitsu Ushio
Extension of Counting LTL and Its Application to a Path Planning Problem for Heterogeneous Multi-Robot Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 107 (5) (2024)
Masashi Mizoguchi, Toshimitsu Ushio
Abstraction-Based Safe Control With Alternating Simulation-Based Shields and Its Application to Mobile Robots. IEEE Access 12 (2024)
Naomi Kuze, Keiichiro Seno, Toshimitsu Ushio
Learning-based black box checking for k-safety hyperproperties. Eng. Appl. Artif. Intell. 126 (2023)
Koki Kanashima, Toshimitsu Ushio
Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies. IEEE Access 11 (2023)
Junya Ikemoto, Toshimitsu Ushio
Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications. ETFA (2022)
Jingjing Wang, Yanjing Sun, Bowen Wang, Toshimitsu Ushio
Potential Game Based Connectivity Preservation for UAV-Assisted Public Safety Rescue. MSN (2022)
Ami Sakakibara, Natsuki Urabe, Toshimitsu Ushio
Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$\mathcal {F}$] Specifications. IEEE Trans. Autom. Control. 67 (12) (2022)
Kazumune Hashimoto, Natsuko Tsumagari, Toshimitsu Ushio
Collaborative Rover-copter Path Planning and Exploration with Temporal Logic Specifications Based on Bayesian Update Under Uncertain Environments. ACM Trans. Cyber Phys. Syst. 6 (2) (2022)
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio
Stability Analysis and Control of Decision-Making of Miners in Blockchain. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (4) (2022)
Takuma Kinugawa, Toshimitsu Ushio
Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications. IEICE Trans. Inf. Syst. (10) (2022)
Takuma Kinugawa, Toshimitsu Ushio
Hyper-Labeled Transition System and Its Application to Planning Under Linear Temporal Logic Constraints. IEEE Control. Syst. Lett. 6 (2022)
Junya Ikemoto, Toshimitsu Ushio
Deep reinforcement learning under signal temporal logic constraints using Lagrangian relaxation. CoRR (2022)
Ryohei Oura, Toshimitsu Ushio
Learning-based Bounded Synthesis for Semi-MDPs with LTL Specifications. CoRR (2022)
Ryohei Oura, Toshimitsu Ushio
Learning-Based Bounded Synthesis for Semi-MDPs With LTL Specifications. IEEE Control. Syst. Lett. 6 (2022)
Kohei Fujita, Toshimitsu Ushio
Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints. IEEE Access 10 (2022)
Masashi Mizoguchi, Toshimitsu Ushio
Abstraction-Based Symbolic Control Barrier Functions for Safety-Critical Embedded Systems. IEEE Control. Syst. Lett. 6 (2022)
Zhe Zhang, Toshimitsu Ushio, Zhang Jing, Yaonan Wang
A novel asymptotic stability condition for a delayed distributed order nonlinear composite system with uncertain fractional order. J. Frankl. Inst. 359 (18) (2022)
Junya Ikemoto, Toshimitsu Ushio
Deep Reinforcement Learning Under Signal Temporal Logic Constraints Using Lagrangian Relaxation. IEEE Access 10 (2022)
Masashi Mizoguchi, Toshimitsu Ushio
Abstraction-Based Control Under Quantized Observation With Approximate Opacity Using Symbolic Control Barrier Functions. IEEE Control. Syst. Lett. 6 (2022)
Kohei Fujita, Toshimitsu Ushio
Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (5) (2022)
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
Learning-based symbolic abstractions for nonlinear control systems. Autom. 146 (2022)
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio
Modeling and Supervisory Control of Blockchain Forks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2021)
Kazumune Hashimoto, Masako Kishida, Yuichi Yoshimura, Toshimitsu Ushio
A Bayesian Optimization Approach to Decentralized Event-Triggered Control. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2021)
Kazumune Hashimoto, Yuichi Yoshimura, Toshimitsu Ushio
Learning Self-Triggered Controllers With Gaussian Processes. IEEE Trans. Cybern. 51 (12) (2021)
Yudai Yamamoto, Naomi Kuze, Toshimitsu Ushio
Attack Detection and Defense System Using an Unknown Input Observer for Cooperative Adaptive Cruise Control Systems. IEEE Access 9 (2021)
Zhe Zhang, Toshimitsu Ushio, Jing Zhang, Feng Liu, Can Ding
Asymptotic Stabilization for a Class of Linear Fractional-Order Composite Systems. J. Adv. Comput. Intell. Intell. Informatics 25 (3) (2021)
Masashi Mizoguchi, Toshimitsu Ushio
Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2021)
Kazumune Hashimoto, Natsuko Tsumagari, Toshimitsu Ushio
Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments. CoRR (2021)
Ryohei Oura, Toshimitsu Ushio, Ami Sakakibara
Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications. CoRR (2021)
Akinori Sakaguchi, Takashi Takimoto, Toshimitsu Ushio
Hopf Bifurcations of a Quadrotor with a Tilting Frame. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (3) (2021)
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio
Modeling and control of decision-making of miners in blockchain. CoRR (2021)
Junya Ikemoto, Toshimitsu Ushio
Continuous Deep Q-Learning with Simulator for Stabilization of Uncertain Discrete-Time Systems. CoRR (2021)
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio
Game-Theoretic Approach to a Decision-Making Problem for Blockchain Mining. IEEE Control. Syst. Lett. 5 (5) (2021)
Junya Ikemoto, Toshimitsu Ushio
Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications. CoRR (2021)
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio
Game-theoretic Approach to a Decision-making Problem for Blockchain Mining. ACC (2021)
Kazumune Hashimoto, Yuga Onoue, Masaki Ogura, Toshimitsu Ushio
Event-triggered control for mitigating SIS spreading processes. Annu. Rev. Control. 52 (2021)
Zhe Zhang, Toshimitsu Ushio, Jing Zhang, Can Ding, Feng Liu
Bifurcation Analysis of a Class Fractional-Oder Nonlinear Chua's Circuit System. J. Adv. Comput. Intell. Intell. Informatics 24 (4) (2020)
Ami Sakakibara, Toshimitsu Ushio
On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications. ICCPS (2020)
Ami Sakakibara, Toshimitsu Ushio
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications. IEEE Control. Syst. Lett. 4 (3) (2020)
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio
Game-theoric approach to decision-making problem for blockchain mining. CoRR (2020)
Ami Sakakibara, Toshimitsu Ushio
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications. CoRR (2020)
Junya Ikemoto, Toshimitsu Ushio
Control of Discrete-Time Chaotic Systems with Policy-Based Deep Reinforcement Learning. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (7) (2020)
Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata. IEEE Control. Syst. Lett. 4 (3) (2020)
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems. CoRR (2020)
Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Büchi Automata. CoRR (2020)
Ami Sakakibara, Toshimitsu Ushio
On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints. CoRR (2020)
Naomi Kuze, Ami Sakakibara, Toshimitsu Ushio
WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control. ICCPS (2020)
Sasinee Pruekprasert, Toshimitsu Ushio
Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem. IEEE Control. Syst. Lett. 4 (1) (2020)
Junya Ikemoto, Toshimitsu Ushio
Networked Control of Nonlinear Systems under Partial Observation Using Continuous Deep Q-Learning. CoRR (2019)
Junya Ikemoto, Toshimitsu Ushio
Model-free Control of Chaos with Continuous Deep Q-learning. CoRR (2019)
Kazumune Hashimoto, Yuichi Yoshimura, Toshimitsu Ushio
Learning self-triggered controllers with Gaussian processes. CoRR (2019)
Takuma Kinugawa, Kazumune Hashimoto, Toshimitsu Ushio
Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints. CoRR (2019)
Dongwu Xu, Toshimitsu Ushio
On Stability of Consensus Control of Discrete-Time Multi-Agent Systems by Multiple Pinning Agents. IEEE Control. Syst. Lett. 3 (4) (2019)
Sota Takashima, Naomi Kuze, Toshimitsu Ushio
Hierarchical taxi dispatch system with local coordination among micro-level components: WIP abstract. ICCPS (2019)
Shiyao Ding, Toshimitsu Ushio
Learning in Two-Player Matrix Games by Policy Gradient Lagging Anchor. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (4) (2019)
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
A Symbolic Approach to the Self-Triggered Design for Networked Control Systems. IEEE Control. Syst. Lett. 3 (4) (2019)
Junya Ikemoto, Toshimitsu Ushio
Networked Control of Nonlinear Systems under Partial Observation Using Continuous Deep Q-Learning. CDC (2019)
Ami Sakakibara, Toshimitsu Ushio
Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2018)
Akinori Sakaguchi, Toshimitsu Ushio
Consensus Speed of Static Pinning Consensus Control of Multi-Agent Systems. ECC (2018)
Hiroki Hayakawa, Takuya Azumi, Akinori Sakaguchi, Toshimitsu Ushio
ROS-based support system for supervision of multiple UAVs by a single operator. ICCPS (2018)
Ami Sakakibara, Toshimitsu Ushio
Directed Control of Discrete Event Systems with LTL[F] Specifications. CDC (2018)
Kenichi Fukuda, Toshimitsu Ushio
Decentralized Event-Triggered Control of Composite Systems Using M-Matrices. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (8) (2018)
Masashi Mizoguchi, Toshimitsu Ushio
Symbolic Design of Networked Control Systems with State Prediction. IEICE Trans. Inf. Syst. (6) (2017)
Akinori Sakaguchi, Toshimitsu Ushio
Dynamic Pinning Consensus Control of Multi-Agent Systems. IEEE Control. Syst. Lett. 1 (2) (2017)
Sasinee Pruekprasert, Toshimitsu Ushio
Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem. IEICE Trans. Inf. Syst. (6) (2017)
Yun Qian, Toshimitsu Ushio
Receding horizon control with iLQG method considering computational delay and its application to nonholonomic systems. CCTA (2017)
Sasinee Pruekprasert, Toshimitsu Ushio
State-based optimal supervisor for non-terminating quantitative discrete event systems. ICARCV (2016)
Kenichi Fukuda, Kohei Fujita, Toshimitsu Ushio
Dynamic event-triggered minimal-order observer for linear systems. EBCCSP (2016)
Sasinee Pruekprasert, Toshimitsu Ushio, Takafumi Kanazawa
Quantitative Supervisory Control Game for Discrete Event Systems. IEEE Trans. Autom. Control. 61 (10) (2016)
Taishi Fujita, Toshimitsu Ushio
Optimal Digital Control with Uncertain Network Delay of Linear Systems Using Reinforcement Learning. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2016)
Toshimitsu Ushio, Shigemasa Takai
Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions. IEEE Trans. Autom. Control. 61 (3) (2016)
Daiki Ishii, Toshimitsu Ushio
A Bisimulation-Based Design of User Interface With Alerts Avoiding Automation Surprises. IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio
Subsidy-Based Control of Heterogeneous Multiagent Systems Modeled by Replicator Dynamics. IEEE Trans. Autom. Control. 61 (10) (2016)
Masashi Mizoguchi, Toshimitsu Ushio
Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems. V2CPS@IFM (2016)
Toshimitsu Ushio, Masaki Hiromoto, Akiyoshi Okamoto, Tomoaki Akiyama
WiP Abstract: A Mixed Logical Dynamical System Model for Taxi Cruising Support System. ICCPS (2016)
Sasinee Pruekprasert, Toshimitsu Ushio
Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2016)
Sasinee Pruekprasert, Toshimitsu Ushio
Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances. IEICE Trans. Inf. Syst. (6) (2016)
Masashi Mizoguchi, Toshimitsu Ushio
Symbolic control of systems with dead times using symbolic smith predictors. CDC (2016)
Masashi Mizoguchi, Toshimitsu Ushio
Observer-based Similarity Output Feedback Control of Cyber-Physical Systems. ADHS (2015)
Takashi Shigekuni, Toshimitsu Ushio, Takuya Azumi
Cloud-assisted sensing and supervision of multiple unmanned aerial vehicles by a single operator. ICCPS (2015)
Tatsuya Yoshimoto, Toshimitsu Ushio, Takuya Azumi
Adaptive Assignment of Deadline and Clock Frequency in Real-Time Embedded Control Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (1) (2015)
Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio
Optimal directed control of discrete event systems with linear temporal logic constraints. ETFA (2015)
Kohei Fujita, Toshimitsu Ushio
Distributed event-triggered output feedback control with cloud-assisted observer. EBCCSP (2015)
Taishi Fujita, Toshimitsu Ushio
RL-based optimal networked control considering network delay of discrete-time linear systems. ECC (2015)
Yoshiki Maeda, Toshimitsu Ushio
SMT-based scheduling of distributed mediator for web service composition. GCCE (2015)
Masaki Hiromoto, Toshimitsu Ushio
Learning an Optimal Control Policy for a Markov Decision Process Under Linear Temporal Logic Specifications. SSCI (2015)
Shogo Nakao, Toshimitsu Ushio
Self-Triggered Predictive Control with Time-Dependent Activation Costs of Mixed Logical Dynamical Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2) (2014)
Taishi Fujita, Toshimitsu Ushio
Reinforcement learning-based optimal control considering L computation time delay of linear discrete-time systems. ADPRL (2014)
Daiki Ishii, Toshimitsu Ushio
Formal framework for detection of automation surprises in human-machine systems modeled by hybrid automata. GCCE (2014)
Takafumi Kanazawa, Takurou Misaka, Toshimitsu Ushio
A Control Method of Dynamic Selfish Routing Based on a State-Dependent Tax. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (8) (2013)
Yusuke Aoki, Takafumi Kanazawa, Toshimitsu Ushio
Mechanism design for robust resource management to false report in cloud computing systems. HiCoNS (2013)
Tomohiro Kawamura, Takafumi Kanazawa, Toshimitsu Ushio
Evolutionarily and Neutrally Stable Strategies in Multicriteria Games. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (4) (2013)
Ken Imai, Toshimitsu Ushio
Effective Combination of Search Policy Based on Probability and Entropy for Heterogeneous Mobile Sensors. SMC (2013)
Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio
Game Theoretic Approach to the Stabilization of Heterogeneous Multiagent Systems Using Subsidy. CoRR (2013)
Yasuki Nanamori, Toshimitsu Ushio
Co-scheduling of Communication and Control of Multi-Hop Control Networks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (5) (2013)
Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio
Game theoretic approach to the stabilization of heterogeneous multiagent systems using subsidy. CDC (2013)
Tatsuya Yoshimoto, Toshimitsu Ushio
Poster Abstract: Design of Modified Observer to Reduce State Estimation Error Caused by Job Skipping in Cyber-Physical Systems. ICCPS (2012)
Ichiro Hasuo, Takuro Kutsuna, Toshimitsu Ushio
Hybrid Systems: Theory and Practice, Seriously (NII Shonan Meeting 2012-2). NII Shonan Meet. Rep. 2012 (2012)
Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio
Capitation tax based control of multipopulation replicator dynamics under incomplete information. SMC (2012)

Toshimitsu Ushio.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Toshimitsu Ushio