N.J.M. van den Nieuwelaar

Learn More
This paper presents a basis for a framework for the design of supervisory machine control. Machine behaviour is described using the task resource system (TRS) paradigm. Analysis is performed to classify system descriptions leaving room for control choices up to a certain extent: selected untimed TRS, instantiated unselected TRS and TRS constraints. As a(More)
Dynamic scheduling of the production in complex industrial manufacturing machines can lead to problems such as, for instance, deadlocks bringing the production to a standstill. An approach to ensure that deadlock is avoided in these highly flexible systems is to investigate all potential schedules. But verification of industrially sized systems by(More)
  • 1