Publication | Open Access

System design of stochastic models using robustness of temporal properties

Stochastic Hybrid SystemUncertainty QuantificationStochastic SystemProcess ControlStochastic Dynamical SystemSystems EngineeringStochastic ControlRobust OptimizationTemporal Properties