Abstract
Hybrid continuous-time and discrete-event system models are developed for applications to intelligent robot and autonomous control systems. Certain general properties, including the interface structure between the discrete event part and the continuous part of hybrid systems, are studied.
Petri nets are proposed as the model for the discrete event sub-system (DES), and state equations with a set of binary parameters as the model for the continuous time sub-system (CTS) in a hybrid system. The quantized CTS is formulated in prime event structures, which can also be modeled by a condition/event Petri net. Therefore, a complete hybrid system can be fit into an extended Petri net formalism, which provides a unified framework for hybrid system description.
The validity of the proposed model is demonstrated by modeling a two-tank system.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
An, Y.: Petri nets and hybrid dynamic system modeling. Master's thesis, University of Waterloo, Waterloo, Canada, 1992.
An, Y. and Pang, G.: Petri nets in intelligent machines and control, inProc. 7th Int. Conf. Applications of Artificial Intelligence in Engineering, July 1992, pp. 789–804.
Antsaklis, P. J., Passino, K. M., and Wang, S. J.: An introduction to autonomous control systems,IEEE Control Systems Magazine 11(4) (1991), 5–13.
Aplevich, J. D.:Implicit Linear Systems, Lecture Notes in Control and Information Sciences, Springer-Verlag, New York, 1991.
Le Bail, J., Alla, H., and David, R.: Hybrid petri nets, inProc. 1st European Control Conf. (ECC'91), Grenoble, France, July 1991.
David, R. and Alla, H.: Continuous petri nets, in8th European Workshop on Application and Theory of Petri Nets, Saragosse, England, June 1987, pp. 275–294.
DeCarlo, R. A., Zak, S. H., and Mathews, G. P.: Variable structure control of nonlinear multivariable systems: A tutorial,Proc. IEEE 76(3) (1988), 212–232.
Gollu, A. and Varaiya, P.: Hybrid dynamical systems, inProc. 28th Conf. Decision and Control, Tampa, Florida, December 1989, pp. 2708–2712.
Kohn, W.: Declarative control architecture,Comm. ACM 34(8) (1991), 64–79.
Nerode, A. and Kohn, W.: An autonomous systems control theory: An overview,Comm. ACM (1991), 1–15.
Passino, K. M. and Antsaklis, P. J.: Planning via heuristic search in a petri net framework, inIEEE Int. Sym. Intelligent Control, 1988, pp. 350–355.
Passino, K. M. and Ozguner, U.: Modeling and analysis of hybrid systems: Examples, inIEEE Int. Symp. Intelligent Control, Arlington, Virginia, August 1991, pp. 251–256.
Peleties, P. and DeCarlo, R.: A modeling strategy with event structures for hybrid systems, inProc. 28th Conf. Decision and Control, Tampa, Florida, December 1989, pp. 1308–1313.
Ramadge, P. J.: On the periodicity of symbolic observations of piecewise smooth discrete-time systems,IEEE Trans. Auto. Control AC-35(7) (1990), 807–813.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
An, Y., Pang, G. & Aplevich, D. A hybrid model for intelligent control systems. J Intell Robot Syst 10, 221–241 (1994). https://doi.org/10.1007/BF01258259
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01258259