Symbolic control design for monotone systems with directed specifications.
Eric S. KimMurat ArcakSanjit A. SeshiaPublished in: Autom. (2017)
Keyphrases
- mechanical systems
- building blocks
- design criteria
- process automation
- embedded systems
- management system
- learning systems
- operating environment
- design requirements
- human computer interface
- retrieval systems
- computer aided
- expert systems
- intelligent control
- design tools
- neural network
- power electronics
- design procedure
- control structure
- support systems
- design issues
- design methodology
- software architecture
- knowledge based systems
- control system