Lyapunov-barrier characterization of robust reach–avoid–stay specifications for hybrid systems
Yiming Meng, Jun Liu
Topics & Concepts
Hybrid systemLyapunov functionDiscretizationReachabilityDynamical systems theoryMathematicsDifferential inclusionControl theory (sociology)State spaceNonlinear systemComputer scienceTopology (electrical circuits)Mathematical optimizationControl (management)AlgorithmMathematical analysisMachine learningStatisticsQuantum mechanicsArtificial intelligenceCombinatoricsPhysicsFormal Methods in VerificationAdvanced Control Systems OptimizationReal-time simulation and control systems