Publication | Closed Access

Model checker aided design of a controller for a wafer scanner

Wafer ScannerEngineeringIndustrial ElectronicsMechatronicsMechanical SystemsComputer EngineeringProcess ControlSystems EngineeringControl DesignModeling And SimulationController TuningIndustrial Process ControlControl EngineeringModel Checker