Abstract
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible timed traces of the system. This is alternatively specified using timed automata where each transition is associated with an event occurrence time set during which time the transition can occur. Our model for time is more general in that the time advances continuously as compared to a model where time advances discretely. We extend the notion of prioritized synchronous composition to the real-time setting to use it as the control mechanism. It is shown that a suitable extension of the controllability condition to the real-time setting yields a condition for the existence of a supervisor achieving a desired timed behavior. Although the real-time controllability is similar in form to its untimed counterpart, they are different in the sense that one does not imply the other and vice-versa.
This research was supported in part by the Center for Robotics and Manufacturing, University of Kentucky, in part by by the National Science Foundation under the Grants NSFD-CDR-8803012, NSF-ECS-9409712, NSF-ECS-9312587, the Minta Martin Fund for Aeronautical Research, and the General Research Board at the University of Maryland.
Preview
Unable to display preview. Download preview PDF.
References
R. Alur. Techniques for automatic verification of real-time systems. PhD thesis, Department of Computer Science, Stanford University, 1991.
R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proceedings of 1990 IEEE Symposium on Logic in Computer Science, pages 414–425, Philadelphia, PA, 1990.
R. Alur and D. Dill. Automata for modeling real-time systems. In Proceedings of 1990 International Colloquium on Automata, Languages and Programming, pages 322–335, Warwick, UK, 1990.
B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using timed Petri nets. IEEE Transactions on Software Engineering, 17(3):259–273, 1991.
B. A. Brandin and W. M. Wonham. Supervisory control of timed discrete event systems. IEEE Transactions on Automatic Control, 39(2):329–342, February 1994.
R. D. Brandt, V. K. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham. Formulas for calculating supremal controllable and normal sublanguages. Systems and Control Letters, 15(8):111–117, 1990.
Y. Brave and M. Heymann. Formulation and control of a class of real-time discrete-event processes. Technical Report EE-714, Department of Electrical Engineering, Technion-Israel Institute of Technology, Hafia, Israel, 1989.
J. E. Coolahan and N. Roussopoulos. Timing requirements for time-driven systems using augmented petri-nets. IEEE Transactions on Software Engineering, 9(9):603–616, 1983.
M. Heymann. Concurrency and discrete event control. IEEE Control Systems Magazine, 10(4):103–112, 1990.
M. Heymann and G. Meyer. Algebra of discrete event processes. Technical Report NASA 102848, NASA Ames Research Center, Moffett Field, CA, June 1991.
C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, Inc., Englewood Cliffs, NJ, 1985.
F. Jahanian and A. Mok. Safety analysis of timing properties in real-time systems. IEEE Transactions on Software Engineering, 12(9):890–904, 1986.
R. Kumar and V. K. Garg. Extremal solutions of inequations over lattices with applications to supervisory control. Theoretical Computer Science, 148:67–92, November 1995.
R. Kumar and V. K. Garg. Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, Boston, MA, 1995.
R. Kumar and M. A. Shayman. Non-blocking supervisory control of nondeterministic systems via prioritized synchronization. IEEE Transactions on Automatic Control, 1995. Accepted.
R. Kumar and M. A. Shayman. Supervisory control of nondeterministic systems under partial observation and decentralization. SIAM Journal of Control and Optimization, 1995. Accepted.
J. S. Ostroff and W. M. Wonham. A framework for real-time discrete event control. IEEE Transactions on Automatic Control, 35(4):386–397, 1990.
A. Puri and P. Varaiya. Decidable hybrid automata. Computer and Mathematical Modeling, 1995. To appear.
P. J. Ramadge and W. M. Wonham. On the supremal controllable sublanguage of a given language. SIAM Journal of Control and Optimization, 25(3):637–659, 1987.
P. J. Ramadge and W. M. Wonham. Supervisory control of a class of discrete event processes. SIAM Journal of Control and Optimization, 25(1):206–230, 1987.
P. J. Ramadge and W. M. Wonham. The control of discrete event systems. Proceedings of IEEE: Special Issue on Discrete Event Systems, 77:81–98, 1989.
G. M. Reed and A. W. Roscoe. A timed model for communicating sequential processes. In L. Kott, editor, 13th ICALP (Lecture Notes in Computer Science, 226), pages 314–323. Springer-Verlag, New York, 1986.
M. Shayman and R. Kumar. Supervisory control of nondeterministic systems with driven events via prioritized synchronization and trajectory models. SIAM Journal of Control and Optimization, 33(2):469–497, March 1995.
J. G. Thistle. Logical aspects of control of discrete event systems: a survey of tools and techniques. In Guy Cohen and Jean-Pierre Quadrat, editors, Lecture Notes in Control and Information Sciences 199, pages 3–15. Springer-Verlag, New York, 1994.
H. Wong-Toi and G. Hoffmann. The control of dense real-time discrete event systems. Technical Report STAN-CS-92-1411, Stanford University, Stanford, CA, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kumar, R., Shayman, M.A. (1996). Supervisory control of real-time systems using prioritized synchronization. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds) Hybrid Systems III. HS 1995. Lecture Notes in Computer Science, vol 1066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020959
Download citation
DOI: https://doi.org/10.1007/BFb0020959
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61155-4
Online ISBN: 978-3-540-68334-6
eBook Packages: Springer Book Archive