Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Topics & Concepts
Discrete time and continuous timeProbabilistic logicComputer scienceBounded functionStochastic processHybrid systemDiscrete-time stochastic processBisimulationAbstractionController (irrigation)Markov chainStability (learning theory)Mathematical optimizationContinuous-time stochastic processStochastic optimizationMathematicsTheoretical computer sciencePhilosophyMathematical analysisMachine learningArtificial intelligenceAgronomyBiologyEpistemologyStatisticsPetri Nets in System ModelingFormal Methods in VerificationAdvanced Control Systems Optimization