Abstract: Stability and safety are crucial in safety-critical control of dynamical systems. The reach-avoid-stay objectives for deterministic dynamical systems can be effectively handled by formal ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results