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.
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- F. Blanchini. 1991. Constrained control for uncertain linear systems. Journal of Optimization Theory and Applications 71, 3 (1991), 465--484.Google Scholar
Digital Library
- F. Blanchini. 1999. Set invariance in control. Automatica 35, 11 (1999), 1747--1767. Google Scholar
Digital Library
- S. Boyd and L. Vandenberghe. 2004. Convex Optimization. Cambridge University Press, New York, NY. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- T. A. Henzinger and P. W. Kopke. 1999. Discrete-time control for rectangular hybrid automata. TCS 221, 1--2 (1999), 369--392. Google Scholar
Digital Library
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Cross Ref
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
Digital Library
Index Terms
Schedulability of Bounded-Rate Multimode Systems
Recommendations
Safe schedulability of bounded-rate multi-mode systems
HSCC '13: Proceedings of the 16th international conference on Hybrid systems: computation and controlBounded-rate multi-mode systems (BMS) are hybrid systems that can switch freely among a finite set of modes, and whose dynamics is specified by a finite number of real-valued variables with mode-dependent rates that can vary within given bounded sets. ...
Invariant sets of mechanical systems
Problems of the existence and stability of invariant sets of mechanical systems are discussed (in particular, steady motions and relative equilibria). The existence problem of stable steady motions (zero-dimensional invariant sets) was first ...
Brief paper: Stability and H2 objective characterizations in control: A comparative study
This paper is concerned with stability and H"2 objective characterizations in control. New forms of alternative LMI characterizations are presented for continuous-time stability and H"2 objective. A key relationship between the alternative ...






Comments