Robust STL Control Synthesis under Maximal Disturbance Sets

Authors: Verhagen, Joris, Lindemann, Lars, Tumova, Jana

Source: 2024 IEEE 63rd Conference on Decision and Control (CDC) Decision and Control (CDC), 2024 IEEE 63rd Conference on. :315-321 Dec, 2024

Relation: 2024 IEEE 63rd Conference on Decision and Control (CDC)

Towards Open-Source and Modular Space Systems with ATMOS

Authors: Roque, Pedro, Phodapol, Sujet, Krantz, Elias, Lim, Jaeyoung, Verhagen, Joris, Jiang, Frank J., Dörner, David, Mao, Huina, Tibert, Gunnar, Siegwart, Roland, Stenius, Ivan, Tumova, Jana, Fuglesang, Christer, Dimarogonas, Dimos V.

Subject Terms: Computer Science - Robotics

Access URL: http://arxiv.org/abs/2501.16973

Temporally Robust Multi-Agent STL Motion Planning in Continuous Time

Authors: Verhagen, Joris, Lindemann, Lars, Tumova, Jana

Source: 2024 American Control Conference (ACC) American Control Conference (ACC), 2024. :251-258 Jul, 2024

Relation: 2024 American Control Conference (ACC)

From Human Walking to Bipedal Robot Locomotion: Reflex Inspired Compensation on Planned and Unplanned Downsteps

Authors: Verhagen, Joris, Xiong, Xiaobin, Ames, Aaron D., Seth, Ajay

Source: 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) Intelligent Robots and Systems (IROS), 2022 IEEE/RSJ International Conference on. :01-08 Oct, 2022

Relation: 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Temporally Robust Multi-Agent STL Motion Planning in Continuous Time

Authors: Verhagen, Joris, Lindemann, Lars, Tumova, Jana

Subject Terms: Computer Science - Robotics

Access URL: http://arxiv.org/abs/2310.10585