Abstract
Hybrid systems exhibit a variety of discrete and continuous behaviour. Extensions to the Development Framework, an environment for real-time control system design, are described here. These extensions allow the management of discrete events such as mode switching. The Framework provides a highly automated path from a control engineering specification to a distributed system implementation. Simulink, an extension to Matlab, is used to specify control laws, and a statecharts tool, Statemate, is used to specify and model discrete-state components. The design phase of the Development Framework supports the integration of the two sets of specification. The translation of statecharts to dataflow notations is described using an example system which was implemented using the Development Framework. General translation rules are also presented.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Alla, H., “Petri networks: a tool adapted to modelling hybrid systems”, Revue General de l'Electricite, No. 1, Jan. 1995, pp. 10–18.
Bass, J.M., Browne, A.R., Hajji, M.S., Marriot, D.G., Croll, P.R., and Fleming, P.J., “Automating the Development of Distributed Control Software”, IEEE Parallel & Distributed Technology, 2(4), 1994, pp.9–19.
Bencze, W.J. and Franklin, G.F., “A Separation for Hybrid Control System Design”, IEEE Control Systems, 15(2), 80–85.
Browne, A.R., Bass, J.M., Hajji, M.S., Croll, P.R., and Fleming, P.J., “A Prototype Development Framework for Real-Time Control Software”, Transputer Communications, 3(1), Jan. 1996, pp. 69–77.
Browne, A.R., Bass, J.M., and Fleming, P.J., “A Building-Block Approach to the Temporal Modelling of Control Software”, IFAC AARTC '97, Portugal, Apr. 97. To appear.
Englehart, M., and Jackson, M., “ControlH: An Algorithm Specification Language and Code Generator”, IEEE Control Systems, 15(2), April 1995, pp 54–64
Hajji, M.S., Browne, A.R., Bass, J.M., Schroder, P., Croll, P.R., and Fleming, P.J., “A Prototype Development Framework for Hybrid Control System Design”, IFAC 13th World Cong., June 96, Vol O, pp 459–64.
Harel, D. et al., “Statemate: A Working Environment for the Development of Complex Reactive Systems”, IEEE Trans. on Software Engineering. vol. 16, no. 4, April 1990, pp 403–414.
Hatley, D.J. and Pirbhai, I.A., “Strategies for Real-Time System Specification”, Dorset House, 1987.
i-Logix, (1995). User Reference Manual Vols. 1 &2, Version 6.0, i-Logix, Inc.
“Software Through Pictures Structural Environment, Release 5”, Interactive Development Environments, San Francisco, U.S. 1994
“Simulink User's Guide, The Mathworks Inc., Natick, MA., U.S., 1992.
Taylor, J.H. and Kebede, D., “Modeling and Simulation of Hybrid Systems in Matlab”, IFAC 13th World Congress, June 96, Vol J, pp 275–280
Yang, Y.Y., Linkens, D.A. and Banks, S.P., “Modelling of hybrid systems based on extended coloured Petri nets”, Lec. Note in Comp. Sci. 999, Hybrid Systems II, Antsaklis et. al. (eds.), Springer-Verlag, Germany, 1995, PP. 509–28
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hajji, M.S., Bass, J.M., Browne, A.R., Fleming, P.J. (1997). Design tools for hybrid control systems. In: Maler, O. (eds) Hybrid and Real-Time Systems. HART 1997. Lecture Notes in Computer Science, vol 1201. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014717
Download citation
DOI: https://doi.org/10.1007/BFb0014717
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62600-8
Online ISBN: 978-3-540-68330-8
eBook Packages: Springer Book Archive