Toshimitsu Ushio
Orcid: 0000-0002-4009-270X
According to our database1,
Toshimitsu Ushio
authored at least 173 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Mission-Aware UAV Deployment for Post-Disaster Scenarios: A Worst-Case SAC-Based Approach.
IEEE Trans. Veh. Technol., 2024
Abstraction-Based Safe Control With Alternating Simulation-Based Shields and Its Application to Mobile Robots.
IEEE Access, 2024
2023
Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies.
IEEE Access, 2023
2022
Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications.
IEICE Trans. Inf. Syst., October, 2022
Collaborative Rover-copter Path Planning and Exploration with Temporal Logic Specifications Based on Bayesian Update Under Uncertain Environments.
ACM Trans. Cyber Phys. Syst., 2022
Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$\mathcal {F}$] Specifications.
IEEE Trans. Autom. Control., 2022
A novel asymptotic stability condition for a delayed distributed order nonlinear composite system with uncertain fractional order.
J. Frankl. Inst., 2022
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022
Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022
IEEE Control. Syst. Lett., 2022
Abstraction-Based Control Under Quantized Observation With Approximate Opacity Using Symbolic Control Barrier Functions.
IEEE Control. Syst. Lett., 2022
Abstraction-Based Symbolic Control Barrier Functions for Safety-Critical Embedded Systems.
IEEE Control. Syst. Lett., 2022
Hyper-Labeled Transition System and Its Application to Planning Under Linear Temporal Logic Constraints.
IEEE Control. Syst. Lett., 2022
Deep Reinforcement Learning Under Signal Temporal Logic Constraints Using Lagrangian Relaxation.
IEEE Access, 2022
Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints.
IEEE Access, 2022
Potential Game Based Connectivity Preservation for UAV-Assisted Public Safety Rescue.
Proceedings of the 18th International Conference on Mobility, Sensing and Networking, 2022
Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022
2021
IEEE Trans. Cybern., 2021
J. Adv. Comput. Intell. Intell. Informatics, 2021
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021
Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021
IEEE Control. Syst. Lett., 2021
Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications.
CoRR, 2021
Continuous Deep Q-Learning with Simulator for Stabilization of Uncertain Discrete-Time Systems.
CoRR, 2021
Annu. Rev. Control., 2021
Attack Detection and Defense System Using an Unknown Input Observer for Cooperative Adaptive Cruise Control Systems.
IEEE Access, 2021
2020
J. Adv. Comput. Intell. Intell. Informatics, 2020
Control of Discrete-Time Chaotic Systems with Policy-Based Deep Reinforcement Learning.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications.
IEEE Control. Syst. Lett., 2020
Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem.
IEEE Control. Syst. Lett., 2020
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata.
IEEE Control. Syst. Lett., 2020
On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints.
CoRR, 2020
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Büchi Automata.
CoRR, 2020
On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020
WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020
2019
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019
On Stability of Consensus Control of Discrete-Time Multi-Agent Systems by Multiple Pinning Agents.
IEEE Control. Syst. Lett., 2019
IEEE Control. Syst. Lett., 2019
Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints.
CoRR, 2019
Hierarchical taxi dispatch system with local coordination among micro-level components: WIP abstract.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019
Networked Control of Nonlinear Systems under Partial Observation Using Continuous Deep Q-Learning.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
2018
Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
Proceedings of the 16th European Control Conference, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
2017
Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem.
IEICE Trans. Inf. Syst., 2017
IEICE Trans. Inf. Syst., 2017
IEEE Control. Syst. Lett., 2017
Receding horizon control with iLQG method considering computational delay and its application to nonholonomic systems.
Proceedings of the IEEE Conference on Control Technology and Applications, 2017
2016
A Bisimulation-Based Design of User Interface With Alerts Avoiding Automation Surprises.
IEEE Trans. Hum. Mach. Syst., 2016
Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions.
IEEE Trans. Autom. Control., 2016
IEEE Trans. Autom. Control., 2016
Subsidy-Based Control of Heterogeneous Multiagent Systems Modeled by Replicator Dynamics.
IEEE Trans. Autom. Control., 2016
Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances.
IEICE Trans. Inf. Syst., 2016
Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016
Optimal Digital Control with Uncertain Network Delay of Linear Systems Using Reinforcement Learning.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016
Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems.
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, 2016
WiP Abstract: A Mixed Logical Dynamical System Model for Taxi Cruising Support System.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016
State-based optimal supervisor for non-terminating quantitative discrete event systems.
Proceedings of the 14th International Conference on Control, 2016
Proceedings of the Second International Conference on Event-based Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
2015
Adaptive Assignment of Deadline and Clock Frequency in Real-Time Embedded Control Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015
Learning an Optimal Control Policy for a Markov Decision Process Under Linear Temporal Logic Specifications.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015
Cloud-assisted sensing and supervision of multiple unmanned aerial vehicles by a single operator.
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015
Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015
RL-based optimal networked control considering network delay of discrete-time linear systems.
Proceedings of the 14th European Control Conference, 2015
Optimal directed control of discrete event systems with linear temporal logic constraints.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Proceedings of the International Conference on Event-based Control, 2015
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
Self-Triggered Predictive Control with Time-Dependent Activation Costs of Mixed Logical Dynamical Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014
Formal framework for detection of automation surprises in human-machine systems modeled by hybrid automata.
Proceedings of the IEEE 3rd Global Conference on Consumer Electronics, 2014
Reinforcement learning-based optimal control considering L computation time delay of linear discrete-time systems.
Proceedings of the 2014 IEEE Symposium on Adaptive Dynamic Programming and Reinforcement Learning, 2014
2013
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013
Effective Combination of Search Policy Based on Probability and Entropy for Heterogeneous Mobile Sensors.
Proceedings of the IEEE International Conference on Systems, 2013
Mechanism design for robust resource management to false report in cloud computing systems.
Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013
Game theoretic approach to the stabilization of heterogeneous multiagent systems using subsidy.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
2012
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions.
IEEE Trans. Autom. Control., 2012
NII Shonan Meet. Rep., 2012
Potential Game Based Distributed Control for Voronoi Coverage Problems with Obstacle Avoidance.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012
Capitation tax based control of multipopulation replicator dynamics under incomplete information.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012
Poster Abstract: Design of Modified Observer to Reduce State Estimation Error Caused by Job Skipping in Cyber-Physical Systems.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012
2011
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011
Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems, 2011
Voronoi coverage control with time-driven communication for mobile sensing networks with obstacles.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2010
Optimal Configuration for Multiversion Real-Time Systems Using Slack Based Schedulability.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010
Adaptive Arbitration of Fair QoS Based Resource Allocation in Multi-Tier Computing Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010
Decentralized diagnosis of discrete event systems modeled by Mealy automata with nondeterministic output functions.
Proceedings of the American Control Conference, 2010
2009
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009
Supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions.
Proceedings of the American Control Conference, 2009
A control method of selfish routing based on replicator dynamics with capitation tax and subsidy.
Proceedings of the IEEE International Conference on Control Applications, 2009
2008
Automatic Generation of User Manuals without Automation Surprises for Human-Machine Systems Modeled by Discrete Event Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008
Replicator Dynamics with Dynamic Payoff Reallocation Based on the Government's Payoff.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008
Application of a consensus problem to fair multi-resource allocation in real-time systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
Proceedings of the 3rd International ICST Conference on Bio-Inspired Models of Network, 2008
2007
IEEE Trans. Syst. Man Cybern. Part A, 2007
IEEE Trans. Computers, 2007
Syst. Comput. Jpn., 2007
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007
Adaptive Fair Sharing Control in Real-Time Systems Using Nonlinear Elastic Task Models.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007
Replicator Dynamics with Government's Intervention by Collection and Reallocation of Payoffs.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
2006
Int. J. Bifurc. Chaos, 2006
Scheduling of Periodic Tasks on a Dynamically Reconfigurable Device Using Timed Discrete Event Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation.
Discret. Event Dyn. Syst., 2006
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006
Control-invariance of Sampleddata Hybrid Systems with periodically Clocked Events and jitter.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006
2005
Characterization of co-observable languages and formulas for their super/sublanguages.
IEEE Trans. Autom. Control., 2005
Decentralized Supervisory Control of Discrete Event Systems Based on Reinforcement Learning.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005
Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation.
Discret. Event Dyn. Syst., 2005
Maximally permissive mutually and globally nonblocking supervision with application to switching control.
Autom., 2005
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005
Proceedings of the 15th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2005), 28 February 2005, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005
2004
Proceedings of the IEEE International Conference on Systems, 2004
Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004
Design of bursting in two-dimensional discrete-time neuron models.
Proceedings of the 2004 International Symposium on Circuits and Systems, 2004
2003
Torque-based control of whirling motion in a rotating electric machine under mechanical resonance.
IEEE Trans. Control. Syst. Technol., 2003
Effective computation of an L<sub>m</sub>(G)-closed, controllable, and observable sublanguage arising in supervisory control.
Syst. Control. Lett., 2003
Int. J. Bifurc. Chaos, 2003
Reliable Decentralized Supervisory Control of Discrete Event Systems with the Conjunctive and Disjunctive Fusion Rules.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003
Supervisory control of partially observed discrete event systems based on a reinforcement learning.
Proceedings of the IEEE International Conference on Systems, 2003
A heteroclinic point and basin boundaries in a piecewise linear chaotic neuron model.
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003
2002
An application of a computational ecology model to a routing method in computer networks.
IEEE Trans. Syst. Man Cybern. Part B, 2002
Int. J. Softw. Eng. Knowl. Eng., 2002
Delayed Feedback Control with a Minimal-Order Observer for Stabilization of Chaotic Discrete-Time Systems.
Int. J. Bifurc. Chaos, 2002
Stabilization of Unstable Periodic orbits of Chaotic Discrete-Time Systems Using Prediction-Based Feedback Control.
Int. J. Bifurc. Chaos, 2002
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002
A modified normality condition for decentralized supervisory control of discrete event systems.
Autom., 2002
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002
Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
Proceedings of the American Control Conference, 2002
2001
Weak normality for supervisory control of discrete event systems under partial observation.
Proceedings of the 6th European Control Conference, 2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
Strong co-observability conditions for decentralized supervisory control of discrete event systems.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
2000
IEEE Trans. Syst. Man Cybern. Part B, 2000
Reliable decentralized supervisory control of discrete event systems with marked language specifications.
Proceedings of the IEEE International Conference on Systems, 2000
Proceedings of the IEEE International Conference on Systems, 2000
Proceedings of the 39th IEEE Conference on Decision and Control, 2000
Proceedings of the American Control Conference, 2000
1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
1997
IEEE Trans. Autom. Control., 1997
Proceedings of the Hybrid and Real-Time Systems, 1997
1995
IEEE Trans. Autom. Control., 1995
IEEE Trans. Autom. Control., 1995
Discret. Event Dyn. Syst., 1995
1994
Discret. Event Dyn. Syst., 1994
1993
A necessary and sufficient condition for the existence of finite state supervisors in discrete-event systems.
IEEE Trans. Autom. Control., 1993