Session information

Special Sessions

[C2L-D] Modeling and Control of Cyber-Physical Systems

Wed. Dec 14, 2022 10:20 AM - 12:00 PM Room D (Zoom 3)

Chair:Hikaru Hoshino(University of Hyogo)

+Add all to schedule

10:20 AM - 10:40 AM

[C2L-D-01] Black Box Checking of Mobile Robot Path Planning Satisfying Safety Hyperproperties

*Naomi Kuze¹, Keiichiro Seno¹, Toshimitsu Ushio¹ (1. Osaka University)

10:40 AM - 11:00 AM

[C2L-D-02] Output Feedback Ultimate Boundedness Control with Decentralized Event-Triggering

*Koichi Kitamura¹, Koichi Kobayashi¹, Yuh Yamashita¹ (1. Hokkaido University)

11:00 AM - 11:20 AM

[C2L-D-03] Mathematical Modeling of Road Heating System with Underground Distribution Line Based on Nonlinear ODE Model

*Yuya Muto¹, Chiaki Kojima¹, Yuki Okura¹ (1. Toyama Prefectural University)

11:20 AM - 11:40 AM

[C2L-D-04] Screening Curve Method for Optimal Sizing of Photovoltaic and Battery Storage Systems for a Household

*Hikaru Hoshino¹ (1. University of Hyogo)

Break (11:40 AM - 12:00 PM)

×

Authentication

×

Please log in with your participant account.
» Participant Log In