Publication | Closed Access

Safety preserving control synthesis for sampled data systems

EngineeringData SystemsProcess ControlSystems EngineeringResilient Control SystemController SynthesisSafety ControlFormal Verification