Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Topics & Concepts
ReachabilityHybrid systemBounded functionLeverage (statistics)AutomatonComputer scienceProbabilistic logicMathematicsTheoretical computer scienceArtificial intelligenceMathematical analysisMachine learningFormal Methods in VerificationPetri Nets in System ModelingGene Regulatory Network Analysis