A necessary and sufficient condition for the existence of finite state supervisors in discrete-event systems. - Toshimitsu Ushio (IEEE Trans. Autom. Control., 1993)

Supervisory control using augmented languages in discrete event systems. - Toshimitsu Ushio (Discret. Event Dyn. Syst., 1994)

Stabilization and blocking in state feedback control of discrete event systems. - Shigemasa Takai; Toshimitsu Ushio; Shinzo Kodama (Discret. Event Dyn. Syst., 1995)

The infimal controllable and N-observable superpredicate of a given predicate. - Shigemasa Takai; Toshimitsu Ushio; Shinzo Kodama (IEEE Trans. Autom. Control., 1995)

Static-state feedback control of discrete-event systems under partial observation. - Shigemasa Takai; Toshimitsu Ushio; Shinzo Kodama (IEEE Trans. Autom. Control., 1995)

Invariance Principle in Hybrid Systems Modeled by Mixed Mappings. - Toshimitsu Ushio (HART, 1997)

On the existence of finite-state supervisors under partial observations. - Toshimitsu Ushio (IEEE Trans. Autom. Control., 1997)

Fault detection based on Petri net models with faulty behaviors. - Toshimitsu Ushio; Isao Onishi; Koji Okuda (SMC, 1998)

A dynamic delayed feedback controller for chaotic discrete-time systems. - Shigeru Yamamoto; Toru Hino; Toshimitsu Ushio (ACC, 2000)

On-line decentralized supervisory control of discrete event systems. - Shigemasa Takai; Toshimitsu Ushio (CDC, 2000)

An application of LLP supervisory control with Petri net models in mobile robots. - Keigo Kobayashi; Toshimitsu Ushio (SMC, 2000)

Reliable decentralized supervisory control of discrete event systems with marked language specifications. - Shigemasa Takai; Toshimitsu Ushio (SMC, 2000)

Reliable decentralized supervisory control of discrete event systems. - Shigemasa Takai; Toshimitsu Ushio (IEEE Trans. Syst. Man Cybern. Part B, 2000)

Strong co-observability conditions for decentralized supervisory control of discrete event systems. - Shigemasa Takai; Toshimitsu Ushio (CDC, 2001)

Recursive delayed feedback control for chaotic discrete-time systems. - Shigeru Yamamoto; Toru Hino; Toshimitsu Ushio (CDC, 2001)

Weak normality for supervisory control of discrete event systems under partial observation. - Shigemasa Takai; Toshimitsu Ushio (ECC, 2001)

Stabilization of chaotic discrete-time systems by periodic delayed feedback control. - Shigeru Yamamoto; Toshimitsu Ushio (ACC, 2002)

Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems. - Shigemasa Takai; Ratnesh Kumar 001; Toshimitsu Ushio (CDC, 2002)

Motion planning for humanoid robots using timed Petri net and modular state net. - Keigo Kobayashi; Atsuhito Nakatani; Hideyuki Takahashi; Toshimitsu Ushio (SMC, 2002)

A modified normality condition for decentralized supervisory control of discrete event systems. - Shigemasa Takai; Toshimitsu Ushio (Autom., 2002)

Analysis of Border-Collision Bifurcations in a Flow Model of a Switching System. - Hiroto Tanaka; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

Stability Analysis for a Class of Interconnected Hybrid Systems. - Shigeru Yamamoto; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

Stabilization of Unstable Periodic orbits of Chaotic Discrete-Time Systems Using Prediction-Based Feedback Control. - Toru Hino; Shigeru Yamamoto; Toshimitsu Ushio (Int. J. Bifurc. Chaos, 2002)

Delayed Feedback Control with a Minimal-Order Observer for Stabilization of Chaotic Discrete-Time Systems. - Shigeru Yamamoto; Toru Hino; Toshimitsu Ushio (Int. J. Bifurc. Chaos, 2002)

Binary Encoding of Discernibility Patterns to Find Minimal Coverings. - Reynaldo Félix; Toshimitsu Ushio (Int. J. Softw. Eng. Knowl. Eng., 2002)

An application of a computational ecology model to a routing method in computer networks. - T. Yamasaki; Toshimitsu Ushio (IEEE Trans. Syst. Man Cybern. Part B, 2002)

A heteroclinic point and basin boundaries in a piecewise linear chaotic neuron model. - Hiroto Tanaka; Toshimitsu Ushio (ISCAS (3), 2003)

Supervisory control of partially observed discrete event systems based on a reinforcement learning. - Toshimitsu Ushio; Tatsushi Yamasaki (SMC, 2003)

Reliable Decentralized Supervisory Control of Discrete Event Systems with the Conjunctive and Disjunctive Fusion Rules. - Shigemasa Takai; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)

Analysis of Aperiodic oscillations in a Flow Model of a Switching System. - Hiroto Tanaka; Toshimitsu Ushio (Int. J. Bifurc. Chaos, 2003)

Effective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control. - Shigemasa Takai; Toshimitsu Ushio (Syst. Control. Lett., 2003)

Torque-based control of whirling motion in a rotating electric machine under mechanical resonance. - Kaoru Inoue; Shigeru Yamamoto; Toshimitsu Ushio; Takashi Hikihara (IEEE Trans. Control. Syst. Technol., 2003)

Design of bursting in two-dimensional discrete-time neuron models. - Hiroto Tanaka; Toshimitsu Ushio (ISCAS (4), 2004)

Adaptive Resource Allocation Control with On-Line Search for Fair QoS Level. - Fumiko Harada; Toshimitsu Ushio; Yukikazu Nakamoto (IEEE Real-Time and Embedded Technology and Applications Symposium, 2004)

Multipopulation replicator dynamics with erroneous perceptions. - Takafumi Kanazawa; Toshimitsu Ushio (SMC (1), 2004)

Multi-Resource Allocation Control for Fair QoS Management in Real-Time Systems. - Fumiko Harada; Toshimitsu Ushio; Yukikazu Nakamoto (CDC/ECC, 2005)

Reinforcement Learning of Optimal Supervisor Based on Language Measure. - Tatsushi Yamasaki; Kazutaka Taniguchi; Toshimitsu Ushio (CDC/ECC, 2005)

Rough Lymphocytes for Approximate Binding in Artificial Immune Systems. - Reynaldo Félix Acuña; Toshimitsu Ushio (CONIELECOMP, 2005)

Dynamics in a controlled flow model of a switching system. - Hiroto Tanaka; Toshimitsu Ushio (ISCAS (4), 2005)

Maximally permissive mutually and globally nonblocking supervision with application to switching control. - Ratnesh Kumar 001; Shigemasa Takai; Martin Fabian; Toshimitsu Ushio (Autom., 2005)

Control-invariance of hybrid systems with forcible events. - Toshimitsu Ushio; Shigemasa Takai (Autom., 2005)

Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation. - Shigemasa Takai; Toshimitsu Ushio (Discret. Event Dyn. Syst., 2005)

Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control. - Shigemasa Takai; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Decentralized Supervisory Control of Discrete Event Systems Based on Reinforcement Learning. - Tatsushi Yamasaki; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

Characterization of co-observable languages and formulas for their super/sublanguages. - Shigemasa Takai; Ratnesh Kumar 001; Toshimitsu Ushio (IEEE Trans. Autom. Control., 2005)

Control-invariance of Sampleddata Hybrid Systems with periodically Clocked Events and jitter. - Yoshiyuki Tsuchie; Toshimitsu Ushio (ADHS, 2006)

Power-Aware Resource Allocation with Fair QoS Guarantee. - Fumiko Harada; Toshimitsu Ushio; Yukikazu Nakamoto (RTCSA, 2006)

A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation. - Shigemasa Takai; Toshimitsu Ushio (Discret. Event Dyn. Syst., 2006)

Analysis of Automation Surprises in Human-Machine Systems with Time Information. - Masakazu Adachi; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)

Multi-Population Replicator Dynamics with Changes of Interpretations of Strategies. - Takafumi Kanazawa; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)

Multi-Population Replicator Dynamics with Erroneous Perceptions. - Takafumi Kanazawa; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)

Synthesis of Nonautonomous Systems with Specified Limit Cycles. - Atsuko Ohno; Toshimitsu Ushio; Masakazu Adachi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)

Scheduling of Periodic Tasks on a Dynamically Reconfigurable Device Using Timed Discrete Event Systems. - Kenji Onogi; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)

Control of a Chaotic Switched Arrival System with Controlled Internal Connections. - Wei Li; Toshimitsu Ushio (Int. J. Bifurc. Chaos, 2006)

Approximate finite-state feedback controller of hybrid systems. - Yoshiyuki Tsuchie; Toshimitsu Ushio (CDC, 2007)

Consensus Problem of Multi-Agent Systems with Non-linear Performance Functions. - Naoki Hayashi; Toshimitsu Ushio; Fumiko Harada; Atsuko Ohno (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

Replicator Dynamics with Government's Intervention by Collection and Reallocation of Payoffs. - Takafumi Kanazawa; Toshimitsu Ushio; Hayato Goto (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters. - Yoshiyuki Tsuchie; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

Adaptive Fair Sharing Control in Real-Time Systems Using Nonlinear Elastic Task Models. - Toshimitsu Ushio; Haruo Kohtaki; Masakazu Adachi; Fumiko Harada (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

Special Section on Nonlinear Theory and its Applications. - Toshimitsu Ushio; Gianluca Setti (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

Power-aware optimization of CPU and frequency allocation based on fairness of QoS. - Fumiko Harada; Toshimitsu Ushio; Yukikazu Nakamoto (Syst. Comput. Jpn., 2007)

Adaptive Resource Allocation Control for Fair QoS Management. - Fumiko Harada; Toshimitsu Ushio; Yukikazu Nakamoto (IEEE Trans. Computers, 2007)

Replicator Dynamics of Evolutionary Hypergames. - Takafumi Kanazawa; Toshimitsu Ushio; Tatsushi Yamasaki (IEEE Trans. Syst. Man Cybern. Part A, 2007)

Stabilization of the minimum latency flow in Braess graphs by state-dependent tax. - Takurou Misaka; Takafumi Kanazawa; Toshimitsu Ushio; Yasuhiko Fukumoto (BIONETICS, 2008)

Application of a consensus problem to fair multi-resource allocation in real-time systems. - Naoki Hayashi; Toshimitsu Ushio (CDC, 2008)

Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates. - Yoshiyuki Tsuchie; Toshimitsu Ushio (HSCC, 2008)

Adaptive Fair Resource Allocation for Energy and QoS Trade-Off Management. - Fumiko Harada; Toshimitsu Ushio; Yukikazu Nakamoto (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

Performance Consensus Problem of Multi-Agent Systems with Multiple State Variables. - Naoki Hayashi; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

Replicator Dynamics with Dynamic Payoff Reallocation Based on the Government's Payoff. - Takafumi Kanazawa; Hayato Goto; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate. - Yoshiyuki Tsuchie; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

Automatic Generation of User Manuals without Automation Surprises for Human-Machine Systems Modeled by Discrete Event Systems. - Toshimitsu Ushio; Satoshi Takahashi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

A control method of selfish routing based on replicator dynamics with capitation tax and subsidy. - Takafumi Kanazawa; Takurou Misaka; Toshimitsu Ushio; Yasuhiko Fukumoto (CCA/ISIC, 2009)

Supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions. - Toshimitsu Ushio; Shigemasa Takai (ACC, 2009)

Adaptive Fair Resource Management with an Arbiter for Multi-tier Computing Systems. - Naoki Hayashi; Toshimitsu Ushio; Takafumi Kanazawa (ETFA, 2009)

Decentralized diagnosis of discrete event systems modeled by Mealy automata with nondeterministic output functions. - Shigemasa Takai; Toshimitsu Ushio (ACC, 2010)

Adaptive Arbitration of Fair QoS Based Resource Allocation in Multi-Tier Computing Systems. - Naoki Hayashi; Toshimitsu Ushio; Takafumi Kanazawa (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010)

Optimal Configuration for Multiversion Real-Time Systems Using Slack Based Schedulability. - Sayuri Terada; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2010)

A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata. - Jun Kohjina; Toshimitsu Ushio; Yoshiki Kinoshita (CALCO, 2011)

Voronoi coverage control with time-driven communication for mobile sensing networks with obstacles. - Saori Teraoka; Toshimitsu Ushio; Takafumi Kanazawa (CDC/ECC, 2011)

Optimal Arbitration of Control Tasks by Job Skipping in Cyber-Physical Systems. - Tatsuya Yoshimoto; Toshimitsu Ushio (ICCPS, 2011)

Potential Game Theoretic Approach to Power-Aware Mobile Sensor Coverage Problem. - Naoki Hayashi; Toshimitsu Ushio; Takafumi Kanazawa (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011)

FOREWORD. - Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011)

Poster Abstract: Design of Modified Observer to Reduce State Estimation Error Caused by Job Skipping in Cyber-Physical Systems. - Tatsuya Yoshimoto; Toshimitsu Ushio (ICCPS, 2012)

Capitation tax based control of multipopulation replicator dynamics under incomplete information. - Takuya Morimoto; Takafumi Kanazawa; Toshimitsu Ushio (SMC, 2012)

Potential Game Based Distributed Control for Voronoi Coverage Problems with Obstacle Avoidance. - Saori Teraoka; Toshimitsu Ushio; Takafumi Kanazawa (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012)

Hybrid Systems: Theory and Practice, Seriously (NII Shonan Meeting 2012-2). - Ichiro Hasuo; Takuro Kutsuna; Toshimitsu Ushio (NII Shonan Meet. Rep., 2012)

Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions. - Shigemasa Takai; Toshimitsu Ushio (IEEE Trans. Autom. Control., 2012)

Game theoretic approach to the stabilization of heterogeneous multiagent systems using subsidy. - Takuya Morimoto; Takafumi Kanazawa; Toshimitsu Ushio (CDC, 2013)

Mechanism design for robust resource management to false report in cloud computing systems. - Yusuke Aoki; Takafumi Kanazawa; Toshimitsu Ushio (HiCoNS, 2013)

Effective Combination of Search Policy Based on Probability and Entropy for Heterogeneous Mobile Sensors. - Ken Imai; Toshimitsu Ushio (SMC, 2013)

A Control Method of Dynamic Selfish Routing Based on a State-Dependent Tax. - Takafumi Kanazawa; Takurou Misaka; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)

Evolutionarily and Neutrally Stable Strategies in Multicriteria Games. - Tomohiro Kawamura; Takafumi Kanazawa; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)

Co-scheduling of Communication and Control of Multi-Hop Control Networks. - Yasuki Nanamori; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013)

Reinforcement learning-based optimal control considering L computation time delay of linear discrete-time systems. - Taishi Fujita; Toshimitsu Ushio (ADPRL, 2014)

Formal framework for detection of automation surprises in human-machine systems modeled by hybrid automata. - Daiki Ishii; Toshimitsu Ushio (GCCE, 2014)

Self-Triggered Predictive Control with Time-Dependent Activation Costs of Mixed Logical Dynamical Systems. - Shogo Nakao; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014)

Observer-based Similarity Output Feedback Control of Cyber-Physical Systems. - Masashi Mizoguchi; Toshimitsu Ushio (ADHS, 2015)

Distributed event-triggered output feedback control with cloud-assisted observer. - Kohei Fujita; Toshimitsu Ushio (EBCCSP, 2015)

Optimal directed control of discrete event systems with linear temporal logic constraints. - Ami Sakakibara; Sasinee Pruekprasert; Toshimitsu Ushio (ETFA, 2015)

RL-based optimal networked control considering network delay of discrete-time linear systems. - Taishi Fujita; Toshimitsu Ushio (ECC, 2015)

SMT-based scheduling of distributed mediator for web service composition. - Yoshiki Maeda; Toshimitsu Ushio (GCCE, 2015)

Cloud-assisted sensing and supervision of multiple unmanned aerial vehicles by a single operator. - Takashi Shigekuni; Toshimitsu Ushio; Takuya Azumi (ICCPS, 2015)

Learning an Optimal Control Policy for a Markov Decision Process Under Linear Temporal Logic Specifications. - Masaki Hiromoto; Toshimitsu Ushio (SSCI, 2015)

Adaptive Assignment of Deadline and Clock Frequency in Real-Time Embedded Control Systems. - Tatsuya Yoshimoto; Toshimitsu Ushio; Takuya Azumi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015)

Symbolic control of systems with dead times using symbolic smith predictors. - Masashi Mizoguchi; Toshimitsu Ushio (CDC, 2016)

Dynamic event-triggered minimal-order observer for linear systems. - Kenichi Fukuda; Kohei Fujita; Toshimitsu Ushio (EBCCSP, 2016)

State-based optimal supervisor for non-terminating quantitative discrete event systems. - Sasinee Pruekprasert; Toshimitsu Ushio (ICARCV, 2016)

WiP Abstract: A Mixed Logical Dynamical System Model for Taxi Cruising Support System. - Toshimitsu Ushio; Masaki Hiromoto; Akiyoshi Okamoto; Tomoaki Akiyama (ICCPS, 2016)

Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems. - Masashi Mizoguchi; Toshimitsu Ushio (V2CPS@IFM, 2016)

Optimal Digital Control with Uncertain Network Delay of Linear Systems Using Reinforcement Learning. - Taishi Fujita; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016)

Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation. - Sasinee Pruekprasert; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016)

Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances. - Sasinee Pruekprasert; Toshimitsu Ushio (IEICE Trans. Inf. Syst., 2016)

Subsidy-Based Control of Heterogeneous Multiagent Systems Modeled by Replicator Dynamics. - Takuya Morimoto; Takafumi Kanazawa; Toshimitsu Ushio (IEEE Trans. Autom. Control., 2016)

Quantitative Supervisory Control Game for Discrete Event Systems. - Sasinee Pruekprasert; Toshimitsu Ushio; Takafumi Kanazawa (IEEE Trans. Autom. Control., 2016)

Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions. - Toshimitsu Ushio; Shigemasa Takai (IEEE Trans. Autom. Control., 2016)

A Bisimulation-Based Design of User Interface With Alerts Avoiding Automation Surprises. - Daiki Ishii; Toshimitsu Ushio (IEEE Trans. Hum. Mach. Syst., 2016)

Receding horizon control with iLQG method considering computational delay and its application to nonholonomic systems. - Yun Qian; Toshimitsu Ushio (CCTA, 2017)

Dynamic Pinning Consensus Control of Multi-Agent Systems. - Akinori Sakaguchi; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2017)

Symbolic Design of Networked Control Systems with State Prediction. - Masashi Mizoguchi; Toshimitsu Ushio (IEICE Trans. Inf. Syst., 2017)

Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem. - Sasinee Pruekprasert; Toshimitsu Ushio (IEICE Trans. Inf. Syst., 2017)

Directed Control of Discrete Event Systems with LTL[F] Specifications. - Ami Sakakibara; Toshimitsu Ushio (CDC, 2018)

Consensus Speed of Static Pinning Consensus Control of Multi-Agent Systems. - Akinori Sakaguchi; Toshimitsu Ushio (ECC, 2018)

ROS-based support system for supervision of multiple UAVs by a single operator. - Hiroki Hayakawa; Takuya Azumi; Akinori Sakaguchi; Toshimitsu Ushio (ICCPS, 2018)

Decentralized Event-Triggered Control of Composite Systems Using M-Matrices. - Kenichi Fukuda; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018)

Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications. - Ami Sakakibara; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018)

Networked Control of Nonlinear Systems under Partial Observation Using Continuous Deep Q-Learning. - Junya Ikemoto; Toshimitsu Ushio (CDC, 2019)

Hierarchical taxi dispatch system with local coordination among micro-level components: WIP abstract. - Sota Takashima; Naomi Kuze; Toshimitsu Ushio (ICCPS, 2019)

Model-free Control of Chaos with Continuous Deep Q-learning. - Junya Ikemoto; Toshimitsu Ushio (CoRR, 2019)

Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints. - Takuma Kinugawa; Kazumune Hashimoto; Toshimitsu Ushio (CoRR, 2019)

A Symbolic Approach to the Self-Triggered Design for Networked Control Systems. - Kazumune Hashimoto; Adnane Saoud; Masako Kishida; Toshimitsu Ushio; Dimos V. Dimarogonas (IEEE Control. Syst. Lett., 2019)

On Stability of Consensus Control of Discrete-Time Multi-Agent Systems by Multiple Pinning Agents. - Dongwu Xu; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2019)

Learning in Two-Player Matrix Games by Policy Gradient Lagging Anchor. - Shiyao Ding; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019)

WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control. - Naomi Kuze; Ami Sakakibara; Toshimitsu Ushio (ICCPS, 2020)

On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications. - Ami Sakakibara; Toshimitsu Ushio (ICCPS, 2020)

Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Büchi Automata. - Ryohei Oura; Ami Sakakibara; Toshimitsu Ushio (CoRR, 2020)

On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints. - Ami Sakakibara; Toshimitsu Ushio (CoRR, 2020)

Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems. - Kazumune Hashimoto; Adnane Saoud; Masako Kishida; Toshimitsu Ushio; Dimos V. Dimarogonas (CoRR, 2020)

Game-theoric approach to decision-making problem for blockchain mining. - Kosuke Toda; Naomi Kuze; Toshimitsu Ushio (CoRR, 2020)

Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata. - Ryohei Oura; Ami Sakakibara; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2020)

Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem. - Sasinee Pruekprasert; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2020)

On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications. - Ami Sakakibara; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2020)

Control of Discrete-Time Chaotic Systems with Policy-Based Deep Reinforcement Learning. - Junya Ikemoto; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020)

Bifurcation Analysis of a Class Fractional-Oder Nonlinear Chua's Circuit System. - Zhe Zhang 022; Toshimitsu Ushio; Jing Zhang; Can Ding; Feng Liu (J. Adv. Comput. Intell. Intell. Informatics, 2020)

Attack Detection and Defense System Using an Unknown Input Observer for Cooperative Adaptive Cruise Control Systems. - Yudai Yamamoto; Naomi Kuze; Toshimitsu Ushio (IEEE Access, 2021)

Event-triggered control for mitigating SIS spreading processes. - Kazumune Hashimoto; Yuga Onoue; Masaki Ogura 001; Toshimitsu Ushio (Annu. Rev. Control., 2021)

Continuous Deep Q-Learning with Simulator for Stabilization of Uncertain Discrete-Time Systems. - Junya Ikemoto; Toshimitsu Ushio (CoRR, 2021)

Modeling and control of decision-making of miners in blockchain. - Kosuke Toda; Naomi Kuze; Toshimitsu Ushio (CoRR, 2021)

Game-Theoretic Approach to a Decision-Making Problem for Blockchain Mining. - Kosuke Toda; Naomi Kuze; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2021)

A Bayesian Optimization Approach to Decentralized Event-Triggered Control. - Kazumune Hashimoto; Masako Kishida; Yuichi Yoshimura; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021)

Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems. - Masashi Mizoguchi; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021)

Hopf Bifurcations of a Quadrotor with a Tilting Frame. - Akinori Sakaguchi; Takashi Takimoto; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021)

Modeling and Supervisory Control of Blockchain Forks. - Kosuke Toda; Naomi Kuze; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021)

Asymptotic Stabilization for a Class of Linear Fractional-Order Composite Systems. - Zhe Zhang 022; Toshimitsu Ushio; Jing Zhang; Feng Liu; Can Ding (J. Adv. Comput. Intell. Intell. Informatics, 2021)

Learning Self-Triggered Controllers With Gaussian Processes. - Kazumune Hashimoto; Yuichi Yoshimura; Toshimitsu Ushio (IEEE Trans. Cybern., 2021)

Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications. - Junya Ikemoto; Toshimitsu Ushio (ETFA, 2022)

Potential Game Based Connectivity Preservation for UAV-Assisted Public Safety Rescue. - Jingjing Wang; Yanjing Sun; Bowen Wang; Toshimitsu Ushio (MSN, 2022)

Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints. - Kohei Fujita; Toshimitsu Ushio (IEEE Access, 2022)

Deep Reinforcement Learning Under Signal Temporal Logic Constraints Using Lagrangian Relaxation. - Junya Ikemoto; Toshimitsu Ushio (IEEE Access, 2022)

Learning-based symbolic abstractions for nonlinear control systems. - Kazumune Hashimoto; Adnane Saoud; Masako Kishida; Toshimitsu Ushio; Dimos V. Dimarogonas (Autom., 2022)

Hyper-Labeled Transition System and Its Application to Planning Under Linear Temporal Logic Constraints. - Takuma Kinugawa; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2022)

Abstraction-Based Symbolic Control Barrier Functions for Safety-Critical Embedded Systems. - Masashi Mizoguchi; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2022)

Abstraction-Based Control Under Quantized Observation With Approximate Opacity Using Symbolic Control Barrier Functions. - Masashi Mizoguchi; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2022)

Learning-Based Bounded Synthesis for Semi-MDPs With LTL Specifications. - Ryohei Oura; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2022)

Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion. - Kohei Fujita; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022)

Stability Analysis and Control of Decision-Making of Miners in Blockchain. - Kosuke Toda; Naomi Kuze; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022)

A novel asymptotic stability condition for a delayed distributed order nonlinear composite system with uncertain fractional order. - Zhe Zhang 022; Toshimitsu Ushio; Jing Zhang; Yaonan Wang 001 (J. Frankl. Inst., 2022)

Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$ mathcal {F}$] Specifications. - Ami Sakakibara; Natsuki Urabe; Toshimitsu Ushio (IEEE Trans. Autom. Control., 2022)

Collaborative Rover-copter Path Planning and Exploration with Temporal Logic Specifications Based on Bayesian Update Under Uncertain Environments. - Kazumune Hashimoto; Natsuko Tsumagari; Toshimitsu Ushio (ACM Trans. Cyber Phys. Syst., 2022)

Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications. - Takuma Kinugawa; Toshimitsu Ushio (IEICE Trans. Inf. Syst., 2022)

Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies. - Koki Kanashima; Toshimitsu Ushio (IEEE Access, 2023)

Learning-based black box checking for k-safety hyperproperties. - Naomi Kuze; Keiichiro Seno; Toshimitsu Ushio (Eng. Appl. Artif. Intell., 2023)

Application of Supervisory Control to Arbitration for Multi-Robot Systems with Learning Robots. - Tatsushi Yamasaki; Toshimitsu Ushio (GCCE, 2024)

Abstraction-Based Safe Control With Alternating Simulation-Based Shields and Its Application to Mobile Robots. - Masashi Mizoguchi; Toshimitsu Ushio (IEEE Access, 2024)

Extension of Counting LTL and Its Application to a Path Planning Problem for Heterogeneous Multi-Robot Systems. - Kotaro Nagae; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2024)

Asymptotic stability analysis of time delayed fractional-order replicator dynamics with government's intervention. - Zhang Zhe; Toshimitsu Ushio; Yaonan Wang; Jing Zhang; Xiaogang Zhang (Neurocomputing, 2024)

Mission-Aware UAV Deployment for Post-Disaster Scenarios: A Worst-Case SAC-Based Approach. - Jingjing Wang; Yanjing Sun; Bowen Wang 004; Toshimitsu Ushio (IEEE Trans. Veh. Technol., 2024)

Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems With LTL Specifications. - Ryohei Oura; Toshimitsu Ushio; Ami Sakakibara (IEEE Trans. Autom. Control., 2024)

Shield-Based Safe Control with Compensation of Computation Delays of Nonlinear Discrete-Time Systems. - Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2025)