Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems.
Kunming NieTao YueShaukat AliLi ZhangZhiqiang FanPublished in: MoDELS (2013)
Keyphrases
- product configuration
- decision support
- constraint satisfaction
- cyber physical systems
- constraint satisfaction problems
- knowledge compilation
- configuration problems
- constraint programming
- process planning
- global constraints
- physical world
- data warehouse
- search algorithm
- formal methods
- computer aided
- decision support system
- control system