Kazumune Hashimoto

IFAC J. Syst. Control., 2024

Flipping-based Policy for Chance-Constrained Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2024

Probabilistic reachable sets of stochastic nonlinear systems with contextual uncertainties.

[BibT_eX]

[DOI]

CoRR, 2024

Safe Reinforcement Learning Using Model Predictive Control with Probabilistic Control Barrier Function.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2024

Long-Term Safe Reinforcement Learning with Binary Feedback.

[BibT_eX]

[DOI]

Akifumi Wachi

Wataru Hashimoto

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Synthesis of Event-triggered Controllers for SIRS Epidemic Models.

[BibT_eX]

[DOI]

Lichen Ding

Shigemasa Takai

CoRR, 2023

Bayesian Meta-Learning on Control Barrier Functions with Data from On-Board Sensors.

[BibT_eX]

[DOI]

CoRR, 2023

STLCCP: An Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Yoshinari Takayama

Toshiyuki Ohtsuka

CoRR, 2023

Safe Exploration in Reinforcement Learning: A Generalized Formulation and Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Robust Traffic Flow Control using Signal Spatio-Temporal Logic.

[BibT_eX]

[DOI]

Sagar V. Patil

Masako Kishida

Proceedings of the European Control Conference, 2023

Signal Temporal Logic Meets Convex-Concave Programming: A Structure-Exploiting SQP Algorithm for STL Specifications.

[BibT_eX]

[DOI]

Yoshinari Takayama

Toshiyuki Ohtsuka

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Collaborative Rover-copter Path Planning and Exploration with Temporal Logic Specifications Based on Bayesian Update Under Uncertain Environments.

[BibT_eX]

[DOI]

Natsuko Tsumagari

Toshimitsu Ushio

ACM Trans. Cyber Phys. Syst., 2022

STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks.

[BibT_eX]

[DOI]

Wataru Hashimoto

Shigemasa Takai

IEEE Robotics Autom. Lett., 2022

Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks.

[BibT_eX]

[DOI]

CoRR, 2022

Learning-based symbolic abstractions for nonlinear control systems.

[BibT_eX]

[DOI]

Autom., 2022

Learning-Based Iterative Optimal Control for Unknown Systems Using Gaussian Process Regression.

[BibT_eX]

[DOI]

Proceedings of the European Control Conference, 2022

Traffic Flow Control at Signalized Intersections using Signal Spatio-Temporal Logic.

[BibT_eX]

[DOI]

Sagar V. Patil

Masako Kishida

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Learning Self-Triggered Controllers With Gaussian Processes.

[BibT_eX]

[DOI]

Yuichi Yoshimura

Toshimitsu Ushio

IEEE Trans. Cybern., 2021

A Bayesian Optimization Approach to Decentralized Event-Triggered Control.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021

Event-triggered control for mitigating SIS spreading processes.

[BibT_eX]

[DOI]

Annu. Rev. Control., 2021

2020

Distributed $\ell _1$-State-and-Fault Estimation for Multiagent Systems.

[BibT_eX]

[DOI]

Michelle S. Chong

IEEE Trans. Control. Netw. Syst., 2020

Synthesizing Communication Plans for Reachability and Safety Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2020

Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Safe and active parameter exploration for event-triggered control.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Control & Automation, 2020

2019

Resource-aware networked control systems under temporal logic specifications.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2019

A Symbolic Approach to the Self-Triggered Design for Networked Control Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2019

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

[BibT_eX]

[DOI]

Takuma Kinugawa

Toshimitsu Ushio

CoRR, 2019

Realtime l1-fault-and-state estimation for multi-agent systems.

[BibT_eX]

[DOI]

Michelle Chong

Proceedings of the 2019 American Control Conference, 2019

2018

Aperiodic Sampled-Data Control via Explicit Transmission Mapping: A Set-Invariance Approach.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2018

Energy-aware networked control systems under temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Self-Triggered Model Predictive Control for Nonlinear Input-Affine Dynamical Systems via Adaptive Control Samples Selection.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Event-triggered intermittent sampling for nonlinear model predictive control.

[BibT_eX]

[DOI]

Autom., 2017

Robust safety controller synthesis using tubes.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Self-triggered control for constrained systems: A contractive set-based approach.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Self-triggered Model Predictive Control for continuous-time systems: A multiple discretizations approach.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Time-constrained event-triggered Model Predictive Control for nonlinear continuous-time systems.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Self-triggered nonlinear model predictive control for networked control systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

2014

Distributed event-based model predictive control for multi-agent systems under disturbances.

[BibT_eX]

[DOI]