The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Nov. 03, 1998
Filed:
Jun. 07, 1995
Daniel G Bobrow, Palo Alto, CA (US);
Vijay A Saraswat, Fermont, CA (US);
Vineet Gupta, Palo Alto, CA (US);
XEROX Corporation, Stamford, CT (US);
Abstract
Qualitative reasoning for physical systems, and techniques for automatic code generation are used to automatically construct digital controllers/device drivers for electro-mechanical systems. Such construction uses models of the system's components described as finite state machines, to form a configuration space. Transitions of the configuration space are labelled as external or internal and a state of the system is identified as a desired state while other states are identified as undesirable. From this configuration space a controller is generated to drive the system to the desired state while avoiding the undesirable states.