Publication | Closed Access

A temporal logic approach to discrete event control for the safety canonical class

EngineeringDiscrete Event SystemAutomated ReasoningAutomationSafety ScienceFormal MethodsProcess ControlSystems EngineeringSafety Canonical ClassSupervisory ControlComputer ScienceTemporal LogicSafety ControlTimed SystemFormal VerificationEvent ControlTemporal Logic ApproachProcess Safety