# Toshimitsu Ushio

According to our database

Collaborative distances:

^{1}, Toshimitsu Ushio authored at least 125 papers between 1994 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

J. Adv. Comput. Intell. Intell. Informatics, 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

CoRR, 2020

CoRR, 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

CoRR, 2019

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 2018 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 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

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

A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata.

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

2009

Adaptive Fair Resource Management with an Arbiter for Multi-tier Computing Systems.

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

Performance Consensus Problem of Multi-Agent Systems with Multiple State Variables.

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

Stabilization of the minimum latency flow in Braess graphs by state-dependent tax.

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

Power-aware optimization of CPU and frequency allocation based on fairness of QoS.

Systems and Computers in Japan, 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

Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters.

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

Control of a Chaotic Switched Arrival System with Controlled Internal Connections.

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

Multi-Population Replicator Dynamics with Changes of Interpretations of Strategies.

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

Autom., 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

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

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

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

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

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

1998

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

Proceedings of the Hybrid and Real-Time Systems, 1997

1995

Discret. Event Dyn. Syst., 1995

1994

Discret. Event Dyn. Syst., 1994