Controller synthesis for linear system with reach-avoid specifications
Main Authors: | Fan, Chuchu, Qin, Zengyi, Mathur, Umang, Ning, Qiang, Mitra, Sayan, Viswanathan, Mahesh |
---|---|
Other Authors: | Massachusetts Institute of Technology. Department of Aeronautics and Astronautics |
Format: | Article |
Language: | English |
Published: |
Institute of Electrical and Electronics Engineers (IEEE)
2022
|
Online Access: | https://hdl.handle.net/1721.1/145645 |
Similar Items
-
Reactive and Safe Road User Simulations using Neural Barrier Certificates
by: Meng, Yue, et al.
Published: (2022) -
Planning in Dynamic and Partially Unknown Environments
by: Miller, Kristina, et al.
Published: (2022) -
Probabilistic reach-avoid for Bayesian neural networks
by: Wicker, M, et al.
Published: (2024) -
Kinematic-Model-Free Predictive Control for Robotic Manipulator Target Reaching With Obstacle Avoidance
by: Ahmad AlAttar, et al.
Published: (2022-02-01) -
Reach‐avoid games with two heterogeneous defenders and one attacker
by: Xi Chen, et al.
Published: (2022-02-01)