skip to main content
research-article
Public Access

Schedulability of Bounded-Rate Multimode Systems

Published:26 May 2017Publication History
Skip Abstract Section

Abstract

Bounded-rate multimode systems are hybrid systems that switch freely among a finite set of modes, and whose dynamics are specified by a finite number of real-valued variables with mode-dependent rates that vary within given bounded sets. The scheduler repeatedly proposes a time and a mode, while the environment chooses an allowable rate for that mode; the state of the system changes linearly in the direction of the rate. The scheduler aims to keep the state within a safe set, while the environment aims to leave it. We study the problem of existence of a winning scheduler strategy and associated complexity questions.

References

  1. R. Alur, V. Forejt, S. Moarref, and A. Trivedi. 2013. Safe schedulability of bounded-rate multi-mode systems. In Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (HSCC’13). ACM, New York, NY, 243--252. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. R. Alur, A. Trivedi, and D. Wojtczak. 2012. Optimal scheduling for constant-rate multi-mode systems. In Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control (HSCC’12). ACM, New York, NY, 75--84. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. D. Bhave, S. Jha, S. N. Krishna, S. Schewe, and A. Trivedi. 2015. Bounded-rate multi-mode systems based motion planning. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC’15). ACM, New York, NY, 41--50. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. F. Blanchini. 1991. Constrained control for uncertain linear systems. Journal of Optimization Theory and Applications 71, 3 (1991), 465--484.Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. F. Blanchini. 1999. Set invariance in control. Automatica 35, 11 (1999), 1747--1767. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. S. Boyd and L. Vandenberghe. 2004. Convex Optimization. Cambridge University Press, New York, NY. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. T. A. Henzinger. 1996. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS’96). IEEE Computer Society, 278--292. http://dl.acm.org/citation.cfm?id=788018.788803 Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. T. A. Henzinger, B. Horowitz, and R. Majumdar. 1999. Rectangular hybrid games. In Proceedings of Concurrency Theory: 10th International Conference (CONCUR’99), Jos C. M. Baeten and Sjouke Mauw (Eds.). Springer, Berlin, 320--335. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. T. A. Henzinger and P. W. Kopke. 1999. Discrete-time control for rectangular hybrid automata. TCS 221, 1--2 (1999), 369--392. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. M. Heymann, L. Feng, G. Meyer, and S. Resmerita. 2005. Analysis of zeno behaviors in a class of hybrid systems. IEEE Transactions on Automatic Control 50 (2005), 376--383.Google ScholarGoogle ScholarCross RefCross Ref
  11. M. Jurdziński, J. Sproston, and F. Laroussinie. 2008. Model checking probabilistic timed automata with one or two clocks. Logical Methods in Computer Science 4, 3 (2008), 12.Google ScholarGoogle ScholarCross RefCross Ref
  12. J. Liu, N. Ozay, U. Topcu, and R. M. Murray. 2013. Synthesis of reactive switching protocols from temporal logic specifications. IEEE Transactions on Automatic Control 58, 7 (July 2013), 1771--1785.Google ScholarGoogle ScholarCross RefCross Ref
  13. A. Maitra and W. Sudderth. 1998. Finitely additive stochastic games with borel measurable payoffs. International Journal of Game Theory 27, 2 (1998), 257--267. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. T. Nghiem, M. Behl, G. J. Pappas, and R. Mangharam. 2011b. Green scheduling: Scheduling of control systems for peak power reduction. In Proceedings of the 2011 International Green Computing Conference and Workshops (IGCC’11). IEEE Computer Society, USA, 1--8. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. T. X. Nghiem, M. Behl, R. Mangharam, and G. J. Pappas. 2011a. Green scheduling of control systems for peak demand reduction. In Proceedings of the 2011 50th IEEE Conference on Decision and Control and European Control Conference. IEEE, 5131--5136.Google ScholarGoogle Scholar
  16. J. Le Ny and G. J. Pappas. 2012. Sequential composition of robust controller specifications. In Proceedings of the 2012 IEEE International Conference on Robotics and Automation (ICRA’12). IEEE, 5190--5195.Google ScholarGoogle Scholar
  17. L. T. X. Phan, I. Lee, and O. Sokolsky. 2010. Compositional analysis of multi-mode systems. In Proceedings of the 2010 22nd Euromicro Conference on Real-Time Systems. IEEE, 197--206. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Schedulability of Bounded-Rate Multimode Systems

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!