Define and formalize other service policies.
1. Is the policy described here to serve internal and external requests the same as that in Section 5.5.4.2? 2. Define and formalize other service policies. 3. Define (not prove!) a property of the elevator system stating that the. waiting time for each request is bounded. Formalize this property as a FOT formula. 4. Prove […]
