Browsing by Subject "digital control"
Now showing items 1-1 of 1
-
(2011-04-16)Department: Electrical EngineeringHigh confidence embedded control system software often requires formal analyses to ensure design correctness. Detailed models cover numerous design concerns such as controller stability, timing requirements, fault tolerance, ...