Verifying switched-mode computer controlled systems - Kapinski, J.; Krogh, B.H. (2002 IEEE International Symposium on Computer Aided Control System Design, 2002)
Keywords: Automata; Automatic control; Automotive engineering; Computational modeling; Computer languages; Control systems; Engines; Mathematical model; Sampling methods; Vehicle dynamics