COMPUTER-ASSISTED DESIGN OF MECHATRONIC SYSTEMS TO COMPLY WITH TEXTUAL SYSTEM DESCRIPTION

摘要

A method for computer-assisted system design of dynamic systems is described herein. In accordance with one embodiment the method comprises: providing a textual system description: converting, using a computer, the textual system description into a linear temporal logic LTL formula; converting, using a computer, the LTL formula into a first automaton; providing, using a computer, a second automaton representing the system dynamics; and generating, using a computer, a testing automaton by combining the first and the second automaton.