Data-driven verification and synthesis of stochastic systems via barrier certificates
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Topics & Concepts
Computer scienceMathematical optimizationA priori and a posterioriUncountable setConvex optimizationUpper and lower boundsComputationController (irrigation)Regular polygonAlgorithmMathematicsEpistemologyBiologyCountable setAgronomyPhilosophyMathematical analysisCombinatoricsGeometryFormal Methods in VerificationFault Detection and Control SystemsProbabilistic and Robust Engineering Design