Control engineering has made significant progress in addressing various challenges for real-
world applications. For the next stage of robotics automation, it is necessary to guarantee …

The safety region of operation of a system is the subset of allowed outputs for which no
undesirable outcome would occur. Knowing if a system would ever leave its safety regions …

Motion planners for mobile robots in unknown environments face the challenge of
simultaneously maintaining both robustness against unmodeled uncertainties and persistent …

The enhancement of decision-making models is of great significance in augmenting the
applicability of unmanned systems in complex scenarios. This paper proposes an …

Forward reachability analysis is a powerful tool that can be used in a variety of applications
including robust motion planning, fault detection, etc. This analysis aims to find the forward …