Toshimitsu Ushio

According to our database1, Toshimitsu Ushio authored at least 125 papers between 1994 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Bifurcation Analysis of a Class Fractional-Oder Nonlinear Chua's Circuit System.
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

Game-theoric approach to decision-making problem for blockchain mining.
CoRR, 2020

Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems.
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
Learning in Two-Player Matrix Games by Policy Gradient Lagging Anchor.
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

A Symbolic Approach to the Self-Triggered Design for Networked Control Systems.
IEEE Control. Syst. Lett., 2019

Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints.
CoRR, 2019

Learning self-triggered controllers with Gaussian processes.
CoRR, 2019

Model-free Control of Chaos with Continuous Deep Q-learning.
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

Decentralized Event-Triggered Control of Composite Systems Using M-Matrices.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018

ROS-based support system for supervision of multiple UAVs by a single operator.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Consensus Speed of Static Pinning Consensus Control of Multi-Agent Systems.
Proceedings of the 2018 European Control Conference, 2018

Directed Control of Discrete Event Systems with LTL[F] Specifications.
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

Symbolic Design of Networked Control Systems with State Prediction.
IEICE Trans. Inf. Syst., 2017

Dynamic Pinning Consensus Control of Multi-Agent Systems.
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

Quantitative Supervisory Control Game for Discrete Event Systems.
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

Dynamic event-triggered minimal-order observer for linear systems.
Proceedings of the Second International Conference on Event-based Control, 2016

Symbolic control of systems with dead times using symbolic smith predictors.
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

SMT-based scheduling of distributed mediator for web service composition.
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

Distributed event-triggered output feedback control with cloud-assisted observer.
Proceedings of the International Conference on Event-based Control, 2015

Observer-based Similarity Output Feedback Control of Cyber-Physical Systems.
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
Co-scheduling of Communication and Control of Multi-Hop Control Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Evolutionarily and Neutrally Stable Strategies in Multicriteria Games.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

A Control Method of Dynamic Selfish Routing Based on a State-Dependent Tax.
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

Hybrid Systems: Theory and Practice, Seriously (NII Shonan Meeting 2012-2).
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
FOREWORD.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011

Potential Game Theoretic Approach to Power-Aware Mobile Sensor Coverage Problem.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011

Optimal Arbitration of Control Tasks by Job Skipping in Cyber-Physical Systems.
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

Adaptive Fair Resource Allocation for Energy and QoS Trade-Off Management.
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
Replicator Dynamics of Evolutionary Hypergames.
IEEE Trans. Syst. Man Cybern. Part A, 2007

Adaptive Resource Allocation Control for Fair QoS Management.
IEEE Trans. Computers, 2007

Power-aware optimization of CPU and frequency allocation based on fairness of QoS.
Systems and Computers in Japan, 2007

Special Section on Nonlinear Theory and its Applications.
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

Consensus Problem of Multi-Agent Systems with Non-linear Performance Functions.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007

Approximate finite-state feedback controller of hybrid systems.
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

Synthesis of Nonautonomous Systems with Specified Limit Cycles.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

Multi-Population Replicator Dynamics with Erroneous Perceptions.
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

Analysis of Automation Surprises in Human-Machine Systems with Time Information.
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

Power-Aware Resource Allocation with Fair QoS Guarantee.
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

Control-invariance of hybrid systems with forcible events.
Autom., 2005

Maximally permissive mutually and globally nonblocking supervision with application to switching control.
Autom., 2005

Dynamics in a controlled flow model of a switching system.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

Rough Lymphocytes for Approximate Binding in Artificial Immune Systems.
Proceedings of the 15th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2005), 28 February 2005, 2005

2004
Multipopulation replicator dynamics with erroneous perceptions.
Proceedings of the IEEE International Conference on Systems, 2004

Adaptive Resource Allocation Control with On-Line Search for Fair QoS Level.
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

Analysis of Aperiodic oscillations in a Flow Model of a Switching System.
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

Motion planning for humanoid robots using timed Petri net and modular state net.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

2000
Reliable decentralized supervisory control of discrete event systems.
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

An application of LLP supervisory control with Petri net models in mobile robots.
Proceedings of the IEEE International Conference on Systems, 2000

1998
Fault detection based on Petri net models with faulty behaviors.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997
Invariance Principle in Hybrid Systems Modeled by Mixed Mappings.
Proceedings of the Hybrid and Real-Time Systems, 1997

1995
Stabilization and blocking in state feedback control of discrete event systems.
Discret. Event Dyn. Syst., 1995

1994
Supervisory control using augmented languages in discrete event systems.
Discret. Event Dyn. Syst., 1994


  Loading...