Toshimitsu Ushio

192 papers A 1B 10C 12Journal 123Unranked 46
YearRankTypeTitle / Venue / Authors
2025 C conf
Gain-Switching UIO against Disturbance with Lossy Multiple Measurement.
CoDIT
Kenji Sugimoto, Toshimitsu Ushio
2025 J jnl
Shield-Based Safe Control with Compensation of Computation Delays of Nonlinear Discrete-Time Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshimitsu Ushio
2024 J jnl
Abstraction-Based Safe Control With Alternating Simulation-Based Shields and Its Application to Mobile Robots.
IEEE Access
Masashi Mizoguchi, Toshimitsu Ushio
2024 — conf
Application of Supervisory Control to Arbitration for Multi-Robot Systems with Learning Robots.
GCCE
Tatsushi Yamasaki, Toshimitsu Ushio
2024 J jnl
Asymptotic stability analysis of time delayed fractional-order replicator dynamics with government's intervention.
Neurocomputing
Zhang Zhe, Toshimitsu Ushio, Yaonan Wang, Jing Zhang, Xiaogang Zhang
2024 J jnl
Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems With LTL Specifications.
IEEE Trans. Autom. Control.
Ryohei Oura, Toshimitsu Ushio, Ami Sakakibara
2024 J jnl
Extension of Counting LTL and Its Application to a Path Planning Problem for Heterogeneous Multi-Robot Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kotaro Nagae, Toshimitsu Ushio
2024 J jnl
Mission-Aware UAV Deployment for Post-Disaster Scenarios: A Worst-Case SAC-Based Approach.
IEEE Trans. Veh. Technol.
Jingjing Wang, Yanjing Sun, Bowen Wang, Toshimitsu Ushio
2023 J jnl
Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies.
IEEE Access
Koki Kanashima, Toshimitsu Ushio
2023 J jnl
Learning-based black box checking for k-safety hyperproperties.
Eng. Appl. Artif. Intell.
Naomi Kuze, Keiichiro Seno, Toshimitsu Ushio
2022 J jnl
A novel asymptotic stability condition for a delayed distributed order nonlinear composite system with uncertain fractional order.
J. Frankl. Inst.
Zhe Zhang, Toshimitsu Ushio, Jing Zhang, Yaonan Wang
2022 J jnl
Abstraction-Based Control Under Quantized Observation With Approximate Opacity Using Symbolic Control Barrier Functions.
IEEE Control. Syst. Lett.
Masashi Mizoguchi, Toshimitsu Ushio
2022 J jnl
Abstraction-Based Symbolic Control Barrier Functions for Safety-Critical Embedded Systems.
IEEE Control. Syst. Lett.
Masashi Mizoguchi, Toshimitsu Ushio
2022 J jnl
Collaborative Rover-copter Path Planning and Exploration with Temporal Logic Specifications Based on Bayesian Update Under Uncertain Environments.
ACM Trans. Cyber Phys. Syst.
Kazumune Hashimoto, Natsuko Tsumagari, Toshimitsu Ushio
2022 C conf
Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications.
ETFA
Junya Ikemoto, Toshimitsu Ushio
2022 J jnl
Deep Reinforcement Learning Under Signal Temporal Logic Constraints Using Lagrangian Relaxation.
IEEE Access
Junya Ikemoto, Toshimitsu Ushio
2022 J jnl
Deep reinforcement learning under signal temporal logic constraints using Lagrangian relaxation.
CoRR
Junya Ikemoto, Toshimitsu Ushio
2022 J jnl
Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications.
IEICE Trans. Inf. Syst.
Takuma Kinugawa, Toshimitsu Ushio
2022 J jnl
Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$\mathcal {F}$] Specifications.
IEEE Trans. Autom. Control.
Ami Sakakibara, Natsuki Urabe, Toshimitsu Ushio
2022 J jnl
Hyper-Labeled Transition System and Its Application to Planning Under Linear Temporal Logic Constraints.
IEEE Control. Syst. Lett.
Takuma Kinugawa, Toshimitsu Ushio
2022 J jnl
Learning-Based Bounded Synthesis for Semi-MDPs With LTL Specifications.
IEEE Control. Syst. Lett.
Ryohei Oura, Toshimitsu Ushio
2022 J jnl
Learning-based Bounded Synthesis for Semi-MDPs with LTL Specifications.
CoRR
Ryohei Oura, Toshimitsu Ushio
2022 J jnl
Learning-based symbolic abstractions for nonlinear control systems.
Autom.
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
2022 J jnl
Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints.
IEEE Access
Kohei Fujita, Toshimitsu Ushio
2022 J jnl
Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kohei Fujita, Toshimitsu Ushio
2022 — conf
Potential Game Based Connectivity Preservation for UAV-Assisted Public Safety Rescue.
MSN
Jingjing Wang, Yanjing Sun, Bowen Wang, Toshimitsu Ushio
2022 J jnl
Stability Analysis and Control of Decision-Making of Miners in Blockchain.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio
2021 J jnl
A Bayesian Optimization Approach to Decentralized Event-Triggered Control.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kazumune Hashimoto, Masako Kishida, Yuichi Yoshimura, Toshimitsu Ushio
2021 J jnl
Asymptotic Stabilization for a Class of Linear Fractional-Order Composite Systems.
J. Adv. Comput. Intell. Intell. Informatics
Zhe Zhang, Toshimitsu Ushio, Jing Zhang, Feng Liu, Can Ding
2021 J jnl
Attack Detection and Defense System Using an Unknown Input Observer for Cooperative Adaptive Cruise Control Systems.
IEEE Access
Yudai Yamamoto, Naomi Kuze, Toshimitsu Ushio
2021 J jnl
Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications.
CoRR
Ryohei Oura, Toshimitsu Ushio, Ami Sakakibara
2021 J jnl
Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments.
CoRR
Kazumune Hashimoto, Natsuko Tsumagari, Toshimitsu Ushio
2021 J jnl
Continuous Deep Q-Learning with Simulator for Stabilization of Uncertain Discrete-Time Systems.
CoRR
Junya Ikemoto, Toshimitsu Ushio
2021 J jnl
Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Masashi Mizoguchi, Toshimitsu Ushio
2021 J jnl
Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications.
CoRR
Junya Ikemoto, Toshimitsu Ushio
2021 J jnl
Event-triggered control for mitigating SIS spreading processes.
Annu. Rev. Control.
Kazumune Hashimoto, Yuga Onoue, Masaki Ogura, Toshimitsu Ushio
2021 J jnl
Game-Theoretic Approach to a Decision-Making Problem for Blockchain Mining.
IEEE Control. Syst. Lett.
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio
2021 C conf
Game-theoretic Approach to a Decision-making Problem for Blockchain Mining.
ACC
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio
2021 J jnl
Hopf Bifurcations of a Quadrotor with a Tilting Frame.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Akinori Sakaguchi, Takashi Takimoto, Toshimitsu Ushio
2021 J jnl
Learning Self-Triggered Controllers With Gaussian Processes.
IEEE Trans. Cybern.
Kazumune Hashimoto, Yuichi Yoshimura, Toshimitsu Ushio
2021 J jnl
Modeling and Supervisory Control of Blockchain Forks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio
2021 J jnl
Modeling and control of decision-making of miners in blockchain.
CoRR
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio
2020 J jnl
Bifurcation Analysis of a Class Fractional-Oder Nonlinear Chua's Circuit System.
J. Adv. Comput. Intell. Intell. Informatics
Zhe Zhang, Toshimitsu Ushio, Jing Zhang, Can Ding, Feng Liu
2020 J jnl
Control of Discrete-Time Chaotic Systems with Policy-Based Deep Reinforcement Learning.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Junya Ikemoto, Toshimitsu Ushio
2020 J jnl
Game-theoric approach to decision-making problem for blockchain mining.
CoRR
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio
2020 J jnl
Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems.
CoRR
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
2020 J jnl
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications.
CoRR
Ami Sakakibara, Toshimitsu Ushio
2020 J jnl
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications.
IEEE Control. Syst. Lett.
Ami Sakakibara, Toshimitsu Ushio
2020 — conf
On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications.
ICCPS
Ami Sakakibara, Toshimitsu Ushio
2020 J jnl
On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints.
CoRR
Ami Sakakibara, Toshimitsu Ushio
2020 J jnl
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Büchi Automata.
CoRR
Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio
2020 J jnl
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata.
IEEE Control. Syst. Lett.
Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio
2020 J jnl
Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem.
IEEE Control. Syst. Lett.
Sasinee Pruekprasert, Toshimitsu Ushio
2020 — conf
WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control.
ICCPS
Naomi Kuze, Ami Sakakibara, Toshimitsu Ushio
2019 J jnl
A Symbolic Approach to the Self-Triggered Design for Networked Control Systems.
IEEE Control. Syst. Lett.
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas
2019 J jnl
Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints.
CoRR
Takuma Kinugawa, Kazumune Hashimoto, Toshimitsu Ushio
2019 — conf
Hierarchical taxi dispatch system with local coordination among micro-level components: WIP abstract.
ICCPS
Sota Takashima, Naomi Kuze, Toshimitsu Ushio
2019 J jnl
Learning in Two-Player Matrix Games by Policy Gradient Lagging Anchor.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shiyao Ding, Toshimitsu Ushio
2019 J jnl
Learning self-triggered controllers with Gaussian processes.
CoRR
Kazumune Hashimoto, Yuichi Yoshimura, Toshimitsu Ushio
2019 J jnl
Model-free Control of Chaos with Continuous Deep Q-learning.
CoRR
Junya Ikemoto, Toshimitsu Ushio
2019 — conf
Networked Control of Nonlinear Systems under Partial Observation Using Continuous Deep Q-Learning.
CDC
Junya Ikemoto, Toshimitsu Ushio
2019 J jnl
Networked Control of Nonlinear Systems under Partial Observation Using Continuous Deep Q-Learning.
CoRR
Junya Ikemoto, Toshimitsu Ushio
2019 J jnl
On Stability of Consensus Control of Discrete-Time Multi-Agent Systems by Multiple Pinning Agents.
IEEE Control. Syst. Lett.
Dongwu Xu, Toshimitsu Ushio
2018 — conf
Consensus Speed of Static Pinning Consensus Control of Multi-Agent Systems.
ECC
Akinori Sakaguchi, Toshimitsu Ushio
2018 J jnl
Decentralized Event-Triggered Control of Composite Systems Using M-Matrices.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kenichi Fukuda, Toshimitsu Ushio
2018 — conf
Directed Control of Discrete Event Systems with LTL[F] Specifications.
CDC
Ami Sakakibara, Toshimitsu Ushio
2018 J jnl
Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Ami Sakakibara, Toshimitsu Ushio
2018 — conf
ROS-based support system for supervision of multiple UAVs by a single operator.
ICCPS
Hiroki Hayakawa, Takuya Azumi, Akinori Sakaguchi, Toshimitsu Ushio
2017 J jnl
Dynamic Pinning Consensus Control of Multi-Agent Systems.
IEEE Control. Syst. Lett.
Akinori Sakaguchi, Toshimitsu Ushio
2017 — conf
Receding horizon control with iLQG method considering computational delay and its application to nonholonomic systems.
CCTA
Yun Qian, Toshimitsu Ushio
2017 J jnl
Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem.
IEICE Trans. Inf. Syst.
Sasinee Pruekprasert, Toshimitsu Ushio
2017 J jnl
Symbolic Design of Networked Control Systems with State Prediction.
IEICE Trans. Inf. Syst.
Masashi Mizoguchi, Toshimitsu Ushio
2016 J jnl
A Bisimulation-Based Design of User Interface With Alerts Avoiding Automation Surprises.
IEEE Trans. Hum. Mach. Syst.
Daiki Ishii, Toshimitsu Ushio
2016 — conf
Dynamic event-triggered minimal-order observer for linear systems.
EBCCSP
Kenichi Fukuda, Kohei Fujita, Toshimitsu Ushio
2016 J jnl
Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions.
IEEE Trans. Autom. Control.
Toshimitsu Ushio, Shigemasa Takai
2016 J jnl
Optimal Digital Control with Uncertain Network Delay of Linear Systems Using Reinforcement Learning.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Taishi Fujita, Toshimitsu Ushio
2016 J jnl
Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances.
IEICE Trans. Inf. Syst.
Sasinee Pruekprasert, Toshimitsu Ushio
2016 J jnl
Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Sasinee Pruekprasert, Toshimitsu Ushio
2016 — conf
Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems.
V2CPS@IFM
Masashi Mizoguchi, Toshimitsu Ushio
2016 J jnl
Quantitative Supervisory Control Game for Discrete Event Systems.
IEEE Trans. Autom. Control.
Sasinee Pruekprasert, Toshimitsu Ushio, Takafumi Kanazawa
2016 C conf
State-based optimal supervisor for non-terminating quantitative discrete event systems.
ICARCV
Sasinee Pruekprasert, Toshimitsu Ushio
2016 J jnl
Subsidy-Based Control of Heterogeneous Multiagent Systems Modeled by Replicator Dynamics.
IEEE Trans. Autom. Control.
Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio
2016 — conf
Symbolic control of systems with dead times using symbolic smith predictors.
CDC
Masashi Mizoguchi, Toshimitsu Ushio
2016 — conf
WiP Abstract: A Mixed Logical Dynamical System Model for Taxi Cruising Support System.
ICCPS
Toshimitsu Ushio, Masaki Hiromoto, Akiyoshi Okamoto, Tomoaki Akiyama
2015 J jnl
Adaptive Assignment of Deadline and Clock Frequency in Real-Time Embedded Control Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Tatsuya Yoshimoto, Toshimitsu Ushio, Takuya Azumi
2015 — conf
Cloud-assisted sensing and supervision of multiple unmanned aerial vehicles by a single operator.
ICCPS
Takashi Shigekuni, Toshimitsu Ushio, Takuya Azumi
2015 — conf
Distributed event-triggered output feedback control with cloud-assisted observer.
EBCCSP
Kohei Fujita, Toshimitsu Ushio
2015 — conf
Learning an Optimal Control Policy for a Markov Decision Process Under Linear Temporal Logic Specifications.
SSCI
Masaki Hiromoto, Toshimitsu Ushio
2015 — conf
Observer-based Similarity Output Feedback Control of Cyber-Physical Systems.
ADHS
Masashi Mizoguchi, Toshimitsu Ushio
2015 C conf
Optimal directed control of discrete event systems with linear temporal logic constraints.
ETFA
Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio
2015 — conf
RL-based optimal networked control considering network delay of discrete-time linear systems.
ECC
Taishi Fujita, Toshimitsu Ushio
2015 — conf
SMT-based scheduling of distributed mediator for web service composition.
GCCE
Yoshiki Maeda, Toshimitsu Ushio
2014 — conf
Formal framework for detection of automation surprises in human-machine systems modeled by hybrid automata.
GCCE
Daiki Ishii, Toshimitsu Ushio
2014 — conf
Reinforcement learning-based optimal control considering L computation time delay of linear discrete-time systems.
ADPRL
Taishi Fujita, Toshimitsu Ushio
2014 J jnl
Self-Triggered Predictive Control with Time-Dependent Activation Costs of Mixed Logical Dynamical Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shogo Nakao, Toshimitsu Ushio
2013 J jnl
A Control Method of Dynamic Selfish Routing Based on a State-Dependent Tax.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Takafumi Kanazawa, Takurou Misaka, Toshimitsu Ushio
2013 J jnl
Co-scheduling of Communication and Control of Multi-Hop Control Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yasuki Nanamori, Toshimitsu Ushio
2013 B conf
Effective Combination of Search Policy Based on Probability and Entropy for Heterogeneous Mobile Sensors.
SMC
Ken Imai, Toshimitsu Ushio
2013 J jnl
Evolutionarily and Neutrally Stable Strategies in Multicriteria Games.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Tomohiro Kawamura, Takafumi Kanazawa, Toshimitsu Ushio
2013 J jnl
Game Theoretic Approach to the Stabilization of Heterogeneous Multiagent Systems Using Subsidy.
CoRR
Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio
2013 — conf
Game theoretic approach to the stabilization of heterogeneous multiagent systems using subsidy.
CDC
Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio
2013 — conf
Mechanism design for robust resource management to false report in cloud computing systems.
HiCoNS
Yusuke Aoki, Takafumi Kanazawa, Toshimitsu Ushio
2012 B conf
Capitation tax based control of multipopulation replicator dynamics under incomplete information.
SMC
Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio
2012 J jnl
Hybrid Systems: Theory and Practice, Seriously (NII Shonan Meeting 2012-2).
NII Shonan Meet. Rep.
Ichiro Hasuo, Takuro Kutsuna, Toshimitsu Ushio
2012 — conf
Poster Abstract: Design of Modified Observer to Reduce State Estimation Error Caused by Job Skipping in Cyber-Physical Systems.
ICCPS
Tatsuya Yoshimoto, Toshimitsu Ushio
2012 J jnl
Potential Game Based Distributed Control for Voronoi Coverage Problems with Obstacle Avoidance.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Saori Teraoka, Toshimitsu Ushio, Takafumi Kanazawa
2012 J jnl
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions.
IEEE Trans. Autom. Control.
Shigemasa Takai, Toshimitsu Ushio
2011 B conf
A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata.
CALCO
Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita
2011 J jnl
FOREWORD.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshimitsu Ushio
2011 — conf
Optimal Arbitration of Control Tasks by Job Skipping in Cyber-Physical Systems.
ICCPS
Tatsuya Yoshimoto, Toshimitsu Ushio
2011 J jnl
Potential Game Theoretic Approach to Power-Aware Mobile Sensor Coverage Problem.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Naoki Hayashi, Toshimitsu Ushio, Takafumi Kanazawa
2011 — conf
Voronoi coverage control with time-driven communication for mobile sensing networks with obstacles.
CDC/ECC
Saori Teraoka, Toshimitsu Ushio, Takafumi Kanazawa
2010 J jnl
Adaptive Arbitration of Fair QoS Based Resource Allocation in Multi-Tier Computing Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Naoki Hayashi, Toshimitsu Ushio, Takafumi Kanazawa
2010 C conf
Decentralized diagnosis of discrete event systems modeled by Mealy automata with nondeterministic output functions.
ACC
Shigemasa Takai, Toshimitsu Ushio
2010 J jnl
Optimal Configuration for Multiversion Real-Time Systems Using Slack Based Schedulability.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Sayuri Terada, Toshimitsu Ushio
2009 — conf
A control method of selfish routing based on replicator dynamics with capitation tax and subsidy.
CCA/ISIC
Takafumi Kanazawa, Takurou Misaka, Toshimitsu Ushio, Yasuhiko Fukumoto
2009 C conf
Adaptive Fair Resource Management with an Arbiter for Multi-tier Computing Systems.
ETFA
Naoki Hayashi, Toshimitsu Ushio, Takafumi Kanazawa
2009 C conf
Supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions.
ACC
Toshimitsu Ushio, Shigemasa Takai
2008 J jnl
Adaptive Fair Resource Allocation for Energy and QoS Trade-Off Management.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto
2008 — conf
Application of a consensus problem to fair multi-resource allocation in real-time systems.
CDC
Naoki Hayashi, Toshimitsu Ushio
2008 J jnl
Automatic Generation of User Manuals without Automation Surprises for Human-Machine Systems Modeled by Discrete Event Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshimitsu Ushio, Satoshi Takahashi
2008 J jnl
Performance Consensus Problem of Multi-Agent Systems with Multiple State Variables.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Naoki Hayashi, Toshimitsu Ushio
2008 J jnl
Replicator Dynamics with Dynamic Payoff Reallocation Based on the Government's Payoff.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Takafumi Kanazawa, Hayato Goto, Toshimitsu Ushio
2008 J jnl
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yoshiyuki Tsuchie, Toshimitsu Ushio
2008 — conf
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates.
HSCC
Yoshiyuki Tsuchie, Toshimitsu Ushio
2008 — conf
Stabilization of the minimum latency flow in Braess graphs by state-dependent tax.
BIONETICS
Takurou Misaka, Takafumi Kanazawa, Toshimitsu Ushio, Yasuhiko Fukumoto
2007 J jnl
Adaptive Fair Sharing Control in Real-Time Systems Using Nonlinear Elastic Task Models.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshimitsu Ushio, Haruo Kohtaki, Masakazu Adachi, Fumiko Harada
2007 J jnl
Adaptive Resource Allocation Control for Fair QoS Management.
IEEE Trans. Computers
Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto
2007 — conf
Approximate finite-state feedback controller of hybrid systems.
CDC
Yoshiyuki Tsuchie, Toshimitsu Ushio
2007 J jnl
Consensus Problem of Multi-Agent Systems with Non-linear Performance Functions.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Naoki Hayashi, Toshimitsu Ushio, Fumiko Harada, Atsuko Ohno
2007 J jnl
Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yoshiyuki Tsuchie, Toshimitsu Ushio
2007 J jnl
Power-aware optimization of CPU and frequency allocation based on fairness of QoS.
Syst. Comput. Jpn.
Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto
2007 J jnl
Replicator Dynamics of Evolutionary Hypergames.
IEEE Trans. Syst. Man Cybern. Part A
Takafumi Kanazawa, Toshimitsu Ushio, Tatsushi Yamasaki
2007 J jnl
Replicator Dynamics with Government's Intervention by Collection and Reallocation of Payoffs.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Takafumi Kanazawa, Toshimitsu Ushio, Hayato Goto
2007 J jnl
Special Section on Nonlinear Theory and its Applications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Toshimitsu Ushio, Gianluca Setti
2006 J jnl
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation.
Discret. Event Dyn. Syst.
Shigemasa Takai, Toshimitsu Ushio
2006 J jnl
Analysis of Automation Surprises in Human-Machine Systems with Time Information.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Masakazu Adachi, Toshimitsu Ushio
2006 J jnl
Control of a Chaotic Switched Arrival System with Controlled Internal Connections.
Int. J. Bifurc. Chaos
Wei Li, Toshimitsu Ushio
2006 — conf
Control-invariance of Sampleddata Hybrid Systems with periodically Clocked Events and jitter.
ADHS
Yoshiyuki Tsuchie, Toshimitsu Ushio
2006 J jnl
Multi-Population Replicator Dynamics with Changes of Interpretations of Strategies.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Takafumi Kanazawa, Toshimitsu Ushio
2006 J jnl
Multi-Population Replicator Dynamics with Erroneous Perceptions.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Takafumi Kanazawa, Toshimitsu Ushio
2006 B conf
Power-Aware Resource Allocation with Fair QoS Guarantee.
RTCSA
Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto
2006 J jnl
Scheduling of Periodic Tasks on a Dynamically Reconfigurable Device Using Timed Discrete Event Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Kenji Onogi, Toshimitsu Ushio
2006 J jnl
Synthesis of Nonautonomous Systems with Specified Limit Cycles.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Atsuko Ohno, Toshimitsu Ushio, Masakazu Adachi
2005 J jnl
Characterization of co-observable languages and formulas for their super/sublanguages.
IEEE Trans. Autom. Control.
Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio
2005 J jnl
Control-invariance of hybrid systems with forcible events.
Autom.
Toshimitsu Ushio, Shigemasa Takai
2005 J jnl
Decentralized Supervisory Control of Discrete Event Systems Based on Reinforcement Learning.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Tatsushi Yamasaki, Toshimitsu Ushio
2005 J jnl
Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shigemasa Takai, Toshimitsu Ushio
2005 — conf
Dynamics in a controlled flow model of a switching system.
ISCAS (4)
Hiroto Tanaka, Toshimitsu Ushio
2005 J jnl
Maximally permissive mutually and globally nonblocking supervision with application to switching control.
Autom.
Ratnesh Kumar, Shigemasa Takai, Martin Fabian, Toshimitsu Ushio
2005 — conf
Multi-Resource Allocation Control for Fair QoS Management in Real-Time Systems.
CDC/ECC
Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto
2005 — conf
Reinforcement Learning of Optimal Supervisor Based on Language Measure.
CDC/ECC
Tatsushi Yamasaki, Kazutaka Taniguchi, Toshimitsu Ushio
2005 — conf
Rough Lymphocytes for Approximate Binding in Artificial Immune Systems.
CONIELECOMP
Reynaldo Félix Acuña, Toshimitsu Ushio
2005 J jnl
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation.
Discret. Event Dyn. Syst.
Shigemasa Takai, Toshimitsu Ushio
2004 A conf
Adaptive Resource Allocation Control with On-Line Search for Fair QoS Level.
IEEE Real-Time and Embedded Technology and Applications Symposium
Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto
2004 — conf
Design of bursting in two-dimensional discrete-time neuron models.
ISCAS (4)
Hiroto Tanaka, Toshimitsu Ushio
2004 — conf
Multipopulation replicator dynamics with erroneous perceptions.
SMC (1)
Takafumi Kanazawa, Toshimitsu Ushio
2003 — conf
A heteroclinic point and basin boundaries in a piecewise linear chaotic neuron model.
ISCAS (3)
Hiroto Tanaka, Toshimitsu Ushio
2003 J jnl
Analysis of Aperiodic oscillations in a Flow Model of a Switching System.
Int. J. Bifurc. Chaos
Hiroto Tanaka, Toshimitsu Ushio
2003 J jnl
Effective computation of an L
Syst. Control. Lett.
Shigemasa Takai, Toshimitsu Ushio
2003 J jnl
Reliable Decentralized Supervisory Control of Discrete Event Systems with the Conjunctive and Disjunctive Fusion Rules.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shigemasa Takai, Toshimitsu Ushio
2003 C conf
Reliable decentralized supervisory control of discrete event systems with the conjunctive and disjunctive fusion rules.
ACC
Shigemasa Takai, Toshimitsu Ushio
2003 B conf
Replicator dynamics of evolutionary hypergames.
SMC
Takafumi Kanazawa, Toshimitsu Ushio, Tatsushi Yamasaki
2003 B conf
Supervisory control of partially observed discrete event systems based on a reinforcement learning.
SMC
Toshimitsu Ushio, Tatsushi Yamasaki
2003 J jnl
Torque-based control of whirling motion in a rotating electric machine under mechanical resonance.
IEEE Trans. Control. Syst. Technol.
Kaoru Inoue, Shigeru Yamamoto, Toshimitsu Ushio, Takashi Hikihara
2002 J jnl
A modified normality condition for decentralized supervisory control of discrete event systems.
Autom.
Shigemasa Takai, Toshimitsu Ushio
2002 J jnl
An application of a computational ecology model to a routing method in computer networks.
IEEE Trans. Syst. Man Cybern. Part B
T. Yamasaki, Toshimitsu Ushio
2002 J jnl
Analysis of Border-Collision Bifurcations in a Flow Model of a Switching System.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hiroto Tanaka, Toshimitsu Ushio
2002 J jnl
Binary Encoding of Discernibility Patterns to Find Minimal Coverings.
Int. J. Softw. Eng. Knowl. Eng.
Reynaldo Félix, Toshimitsu Ushio
2002 — conf
Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems.
CDC
Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio
2002 J jnl
Delayed Feedback Control with a Minimal-Order Observer for Stabilization of Chaotic Discrete-Time Systems.
Int. J. Bifurc. Chaos
Shigeru Yamamoto, Toru Hino, Toshimitsu Ushio
2002 B conf
Motion planning for humanoid robots using timed Petri net and modular state net.
SMC
Keigo Kobayashi, Atsuhito Nakatani, Hideyuki Takahashi, Toshimitsu Ushio
2002 J jnl
Stability Analysis for a Class of Interconnected Hybrid Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Shigeru Yamamoto, Toshimitsu Ushio
2002 J jnl
Stabilization of Unstable Periodic orbits of Chaotic Discrete-Time Systems Using Prediction-Based Feedback Control.
Int. J. Bifurc. Chaos
Toru Hino, Shigeru Yamamoto, Toshimitsu Ushio
2002 C conf
Stabilization of chaotic discrete-time systems by periodic delayed feedback control.
ACC
Shigeru Yamamoto, Toshimitsu Ushio
2001 C conf
A modified normality condition for decentralized supervisory control of discrete event systems.
ACC
Shigemasa Takai, Toshimitsu Ushio
2001 — conf
Recursive delayed feedback control for chaotic discrete-time systems.
CDC
Shigeru Yamamoto, Toru Hino, Toshimitsu Ushio
2001 — conf
Strong co-observability conditions for decentralized supervisory control of discrete event systems.
CDC
Shigemasa Takai, Toshimitsu Ushio
2001 — conf
Weak normality for supervisory control of discrete event systems under partial observation.
ECC
Shigemasa Takai, Toshimitsu Ushio
2000 C conf
A dynamic delayed feedback controller for chaotic discrete-time systems.
ACC
Shigeru Yamamoto, Toru Hino, Toshimitsu Ushio
2000 B conf
An application of LLP supervisory control with Petri net models in mobile robots.
SMC
Keigo Kobayashi, Toshimitsu Ushio
2000 — conf
On-line decentralized supervisory control of discrete event systems.
CDC
Shigemasa Takai, Toshimitsu Ushio
2000 B conf
Reliable decentralized supervisory control of discrete event systems with marked language specifications.
SMC
Shigemasa Takai, Toshimitsu Ushio
2000 J jnl
Reliable decentralized supervisory control of discrete event systems.
IEEE Trans. Syst. Man Cybern. Part B
Shigemasa Takai, Toshimitsu Ushio
1998 B conf
Fault detection based on Petri net models with faulty behaviors.
SMC
Toshimitsu Ushio, Isao Onishi, Koji Okuda
1997 — conf
Invariance Principle in Hybrid Systems Modeled by Mixed Mappings.
HART
Toshimitsu Ushio
1997 J jnl
On the existence of finite-state supervisors under partial observations.
IEEE Trans. Autom. Control.
Toshimitsu Ushio
1995 J jnl
Stabilization and blocking in state feedback control of discrete event systems.
Discret. Event Dyn. Syst.
Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama
1995 J jnl
Static-state feedback control of discrete-event systems under partial observation.
IEEE Trans. Autom. Control.
Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama
1995 J jnl
The infimal controllable and N-observable superpredicate of a given predicate.
IEEE Trans. Autom. Control.
Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama
1994 J jnl
Supervisory control using augmented languages in discrete event systems.
Discret. Event Dyn. Syst.
Toshimitsu Ushio
1993 J jnl
A necessary and sufficient condition for the existence of finite state supervisors in discrete-event systems.
IEEE Trans. Autom. Control.
Toshimitsu Ushio