Abstract
We propose models that capture the influence of computation on the performance of computer-controlled systems, and make it possible to employ computational considerations in early stages of the design process of such systems. The problem of whether it is possible to meet performance requirements given resource constraints is phrased as a problem of synthesizing switching controllers for hybrid automata, for which we give algorithms that in some cases are guaranteed to terminate and in others can solve the problem in an approximate manner.
This work was partially supported by the EC projects IST-2001-33520 CC (Control and Computation) and IST-2001-35302 AMETIST (Advanced Methods for Timed Systems), the US Defense Advance Projects Research Agency (DARPA) contract no. F33615-00-C-1701, US Army Research Office (ARO) contract no. DAAD19-01-1-0485, and the US National Science Foundation (NSF) contract no. CCR-0121547.
Chapter PDF
Similar content being viewed by others
Keywords
- Switching Strategy
- Hybrid Automaton
- Feedback Function
- Defense Advance Project Research Agency
- Digital Control System
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
P. Albertos, A. Crespo, M. Vallés, P. Balbastre and I. Ripoll, Integrated Control Design and Real Time Scheduling, unpublished, 2001.
K.-E. Årzén, B. Bernhardsson, J. Eker, A. Cervin, K. Nilsson, P. Persson and L. Sha, Integrated Control and Scheduling, Internal report TFRT-7582, Department of Automatic Control, Lund University, August 1999.
E. Asarin, O. Bournez, T. Dang, O. Maler and A. Pnueli, Effective Synthesis of Switching Controllers for Linear Systems, Proceedings of the IEEE, 88, 1011–1025, 2000.
E. Asarin, T. Dang, and O. Maler, d/dt: a Tool for Reachability Analysis of Continuous and Hybrid systems, 5th IFAC Symposium Nonlinear Control Systems (NOLCOS), 2001.
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis and S. Yovine, The Algorithmic Analysis of Hybrid Systems, Theoretical Computer Science 138, 3–34, 1995.
E. Asarin, O. Maler, A. Pnueli and J. Sifakis, Controller Synthesis for Timed Automata, in Proc. IFAC Symposium on System Structure and Control, 469–474, Elsevier, 1998.
K.J. Aström and B. Wittenmark, Computer Controlled Systems, Prentice-Hall, 1984.
T.A. Henzinger, P.-H. Ho and H. Wong-Toi, HyTech: A Model Checker for Hybrid Systems, Software Tools for Technology Transfer 1, 110–122, 1997.
C.L Liu and L. Layland: Scheduling Algorithms for Multiprogramming in Hard Real-Time Environment, Journal of the ACM 20, 46–61, 1973.
O. Maler, A. Pnueli and J. Sifakis. On the Synthesis of Discrete Controllers for Timed Systems, in E.W. Mayr and C. Puech (Eds), Proc. STACS’95, 229–242, LNCS 900, Springer, 1995.
L. Palopoli, L. Abeni, G. Buttazzo, F. Conticelli, and M. Di Natale, Real-Time Control System Analysis: an Integrated Approach, Proc. RTSS’2000, IEEE Press, 2000.
D. Seto, J.P. Lehoczky, L. Sha and K.G. Shin, On Task Scheduling of Real-Time Control Systems. Proc. RTSS’96, 13–21, IEEE Press, 2000.
J. Stankovic, C. Lu, S. Son, and G. Tao, The Case for Feedback Control Real-Time Scheduling, EuroMicro Conf. on Real-Time Systems, 1999.
C. Tomlin, J. Lygeros and S. Sastry, Controllers for Reachability Specifications for Hybrid Systems, Automatica 35, 349–370, 1999.
H. Wong-Toi, The Synthesis of Controllers for Linear Hybrid Automata, Proc. CDC’97, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maler, O., Krogh, B.H., Mahfoudh, M. (2002). On Control with Bounded Computational Resources. In: Damm, W., Olderog, E.R. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 2002. Lecture Notes in Computer Science, vol 2469. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45739-9_11
Download citation
DOI: https://doi.org/10.1007/3-540-45739-9_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44165-6
Online ISBN: 978-3-540-45739-8
eBook Packages: Springer Book Archive