潮 俊光

Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems With LTL Specifications 

IEEE Transactions on Automatic Control 2024年10月  査読有り責任著者

Abstraction-Based Safe Control With Alternating Simulation-Based Shields and Its Application to Mobile Robots 

IEEE Access 2024年  査読有り最終著者

Learning-based black box checking for k-safety hyperproperties 

Engineering Applications of Artificial Intelligence 126 107029-107029 2023年11月  査読有り

Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies. 

IEEE Access 11 11766-11780 2023年  査読有り

Learning-based symbolic abstractions for nonlinear control systems 

Automatica 146 110646-110646 2022年12月  査読有り

Deep Reinforcement Learning Under Signal Temporal Logic Constraints Using Lagrangian Relaxation 

IEEE Access 10 114814-114828 2022年10月  査読有り

Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications. 

IEICE Transactions on Information & Systems 105-D(10) 1658-1664 2022年10月  査読有り

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

ACM Transactions on Cyber-Physical Systems 6(2) 1-24 2022年4月30日  査読有り

Learning-based Bounded Synthesis for Semi-MDPs with LTL Specifications. 

IEEE Control Systems Letters 6 2557-2562 2022年4月  査読有り

Stability Analysis and Control of Decision-Making of Miners in Blockchain 

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E105.A(4) 682-688 2022年4月1日  査読有り

Potential Game Based Connectivity Preservation for UAV-Assisted Public Safety Rescue. 

MSN 847-852 2022年  査読有り

Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications. 

ETFA 1-8 2022年  査読有り

Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$\mathcal {F}$] Specifications. 

IEEE Transactions on Automatic Control 67(12) 6896-6903 2022年  査読有り

A novel asymptotic stability condition for a delayed distributed order nonlinear composite system with uncertain fractional order. 

Journal of the Franklin Institute 359(18) 10986-11006 2022年  査読有り

Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion. 

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 105-A(5) 808-815 2022年  査読有り

Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints. 

IEEE Access 10 110849-110861 2022年  査読有り

Abstraction-Based Control Under Quantized Observation With Approximate Opacity Using Symbolic Control Barrier Functions 

IEEE Control Systems Letters 6 2222-2227 2022年  査読有り

Abstraction-Based Symbolic Control Barrier Functions for Safety-Critical Embedded Systems 

IEEE Control Systems Letters 6 1436-1441 2022年  査読有り

Deep Reinforcement Learning Under Signal Temporal Logic Constraints Using Lagrangian Relaxation 

IEEE Access 10 114814-114828 2022年  査読有り