number | title/author |
---|---|
C2L-D-01 | Black Box Checking of Mobile Robot Path Planning Satisfying Safety Hyperproperties Naomi Kuze , Keiichiro Seno , Toshimitsu Ushio, |
C2L-D-02 | Output Feedback Ultimate Boundedness Control with Decentralized Event-Triggering Koichi Kitamura , Koichi Kobayashi , Yuh Yamashita, |
C2L-D-03 | Mathematical Modeling of Road Heating System with Underground Distribution Line Based on Nonlinear ODE Model Yuya Muto , Chiaki Kojima , Yuki Okura, |
C2L-D-04 | Screening Curve Method for Optimal Sizing of Photovoltaic and Battery Storage Systems for a Household Hikaru Hoshino, |