2022 International Symposium on Nonlinear Theory and Its Applications

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