Automatic construction of digital controllers/device drivers for electro-mechanical systems using component models
US5831853A · kind A · utility
36Cited by
12References
10Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jun 7, 1995 |
| Grant date | Nov 3, 1998 |
| Priority date | — |
| Expiry date | Jun 7, 2015 |
Classification
- Technology area (CPC Y)Emerging Cross-Sectional Technologies
- CPC primaryY10S706/919
- WIPO fieldControl
- WIPO sectorInstruments
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.