- Title:
Scheduling of Multiproduct Batch Plants using Reachability Analysis of Timed Automata Models
- Author(s):
- Subbiah, S.; Panek, S.; Engell, S.; Stursberg, O.
- Book / Congress title:
- 4th Int. Conf. on Informatics in Control, Automation, and Robotics
- Year:
- 2007
- Pages:
- 141-148
- BibTeX