Toshimitsu Ushio

According to our database1, Toshimitsu Ushio authored at least 102 papers between 1994 and 2018.

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

2018
Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications.
IEICE Transactions, 2018

Decentralized Event-Triggered Control of Composite Systems Using M-Matrices.
IEICE Transactions, 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

2017
Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem.
IEICE Transactions, 2017

Symbolic Design of Networked Control Systems with State Prediction.
IEICE Transactions, 2017

Dynamic Pinning Consensus Control of Multi-Agent Systems.
IEEE Control Systems Letters, 2017

2016
A Bisimulation-Based Design of User Interface With Alerts Avoiding Automation Surprises.
IEEE Trans. Human-Machine Systems, 2016

Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions.
IEEE Trans. Automat. Contr., 2016

Quantitative Supervisory Control Game for Discrete Event Systems.
IEEE Trans. Automat. Contr., 2016

Subsidy-Based Control of Heterogeneous Multiagent Systems Modeled by Replicator Dynamics.
IEEE Trans. Automat. Contr., 2016

Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances.
IEICE Transactions, 2016

Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation.
IEICE Transactions, 2016

Optimal Digital Control with Uncertain Network Delay of Linear Systems Using Reinforcement Learning.
IEICE Transactions, 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

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

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 Transactions, 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 Transactions, 2013

Evolutionarily and Neutrally Stable Strategies in Multicriteria Games.
IEICE Transactions, 2013

A Control Method of Dynamic Selfish Routing Based on a State-Dependent Tax.
IEICE Transactions, 2013

Game Theoretic Approach to the Stabilization of Heterogeneous Multiagent Systems Using Subsidy.
CoRR, 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. Automat. Contr., 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 Transactions, 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 Transactions, 2011

Potential Game Theoretic Approach to Power-Aware Mobile Sensor Coverage Problem.
IEICE Transactions, 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 Transactions, 2010

Adaptive Arbitration of Fair QoS Based Resource Allocation in Multi-Tier Computing Systems.
IEICE Transactions, 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

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 Transactions, 2008

Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate.
IEICE Transactions, 2008

Replicator Dynamics with Dynamic Payoff Reallocation Based on the Government's Payoff.
IEICE Transactions, 2008

Performance Consensus Problem of Multi-Agent Systems with Multiple State Variables.
IEICE Transactions, 2008

Adaptive Fair Resource Allocation for Energy and QoS Trade-Off Management.
IEICE Transactions, 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. Systems, Man, and Cybernetics, 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 Transactions, 2007

Adaptive Fair Sharing Control in Real-Time Systems Using Nonlinear Elastic Task Models.
IEICE Transactions, 2007

Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters.
IEICE Transactions, 2007

Replicator Dynamics with Government's Intervention by Collection and Reallocation of Payoffs.
IEICE Transactions, 2007

Consensus Problem of Multi-Agent Systems with Non-linear Performance Functions.
IEICE Transactions, 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.
I. J. Bifurcation and Chaos, 2006

Scheduling of Periodic Tasks on a Dynamically Reconfigurable Device Using Timed Discrete Event Systems.
IEICE Transactions, 2006

Synthesis of Nonautonomous Systems with Specified Limit Cycles.
IEICE Transactions, 2006

Multi-Population Replicator Dynamics with Erroneous Perceptions.
IEICE Transactions, 2006

Multi-Population Replicator Dynamics with Changes of Interpretations of Strategies.
IEICE Transactions, 2006

Analysis of Automation Surprises in Human-Machine Systems with Time Information.
IEICE Transactions, 2006

A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation.
Discrete Event Dynamic Systems, 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. Automat. Contr., 2005

Decentralized Supervisory Control of Discrete Event Systems Based on Reinforcement Learning.
IEICE Transactions, 2005

Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control.
IEICE Transactions, 2005

Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation.
Discrete Event Dynamic Systems, 2005

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

Maximally permissive mutually and globally nonblocking supervision with application to switching control.
Automatica, 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. Contr. Sys. Techn., 2003

Effective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control.
Systems & Control Letters, 2003

Analysis of Aperiodic oscillations in a Flow Model of a Switching System.
I. J. Bifurcation and Chaos, 2003

Supervisory control of partially observed discrete event systems based on a reinforcement learning.
Proceedings of the IEEE International Conference on Systems, 2003

Replicator dynamics of evolutionary hypergames.
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. Systems, Man, and Cybernetics, Part B, 2002

Delayed Feedback Control with a Minimal-Order Observer for Stabilization of Chaotic Discrete-Time Systems.
I. J. Bifurcation and Chaos, 2002

Stabilization of Unstable Periodic orbits of Chaotic Discrete-Time Systems Using Prediction-Based Feedback Control.
I. J. Bifurcation and Chaos, 2002

A modified normality condition for decentralized supervisory control of discrete event systems.
Automatica, 2002

2000
Reliable decentralized supervisory control of discrete event systems.
IEEE Trans. Systems, Man, and Cybernetics, 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.
Discrete Event Dynamic Systems, 1995

1994
Supervisory control using augmented languages in discrete event systems.
Discrete Event Dynamic Systems, 1994


  Loading...