research-article

Public Access

Schedulability of Bounded-Rate Multimode Systems

Authors:

Vojtěch Forejt,

Ashutosh TrivediAuthors Info & Claims

ACM Transactions on Embedded Computing Systems (TECS), Volume 16, Issue 3

Article No.: 85, Pages 1 - 27

https://doi.org/10.1145/2996797

Published: 26 May 2017 Publication History

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.

Digital 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.

Digital 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.

Digital Library

[4]

F. Blanchini. 1991. Constrained control for uncertain linear systems. Journal of Optimization Theory and Applications 71, 3 (1991), 465--484.

Digital Library

[5]

F. Blanchini. 1999. Set invariance in control. Automatica 35, 11 (1999), 1747--1767.

Digital Library

[6]

S. Boyd and L. Vandenberghe. 2004. Convex Optimization. Cambridge University Press, New York, NY.

Digital 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

Digital 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.

Digital Library

[9]

T. A. Henzinger and P. W. Kopke. 1999. Discrete-time control for rectangular hybrid automata. TCS 221, 1--2 (1999), 369--392.

Digital 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.

[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.

[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.

[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.

Digital 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.

Digital 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.

[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.

[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.

Digital Library

Cited By

Blondin MOfftermatt PSansfaçon-Buchanan A(2023)Verifying linear temporal specifications of constant-rate multi-mode systems2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1109/LICS56636.2023.10175721(1-13)Online publication date: 26-Jun-2023
https://doi.org/10.1109/LICS56636.2023.10175721
Balszun MHobbs CFraccaroli ERoy DChakraborty S(2022)Exploiting Process Dynamics in Multi-Stage Schedule Optimization for Flexible Manufacturing2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA52439.2022.9921465(1-8)Online publication date: 6-Sep-2022
https://dl.acm.org/doi/10.1109/ETFA52439.2022.9921465
Balszun MHobbs CFraccaroli ERoy DFummi FChakraborty S(2022)Process Dynamics-Aware Flexible Manufacturing for Industry 4.02022 IEEE 18th International Conference on Automation Science and Engineering (CASE)10.1109/CASE49997.2022.9926495(2375-2382)Online publication date: 20-Aug-2022
https://dl.acm.org/doi/10.1109/CASE49997.2022.9926495

Index Terms

Schedulability of Bounded-Rate Multimode Systems
1. Computing methodologies
  1. Artificial intelligence
    1. Control methods
      1. Computational control theory
    2. Search methodologies
      1. Continuous space search
2. Theory of computation
  1. Theory and algorithms for application domains
    1. Algorithmic game theory and mechanism design
      1. Algorithmic game theory

Recommendations

Optimal scheduling for constant-rate multi-mode systems
HSCC '12: Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control

Constant-rate multi-mode systems 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 constant rates. The schedulability problem for such ...
Safe schedulability of bounded-rate multi-mode systems
HSCC '13: Proceedings of the 16th international conference on Hybrid systems: computation and control

Bounded-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 ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Embedded Computing Systems

ACM Transactions on Embedded Computing Systems Volume 16, Issue 3

Special Issue on Embedded Computing for IoT, Special Issue on Big Data and Regular Papers

August 2017

610 pages

ISSN:1539-9087

EISSN:1558-3465

DOI:10.1145/3072970

Editor:
Sandeep K. Shukla
Indian Institute of Technology, India

Issue’s Table of Contents

Copyright © 2017 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

ACM Journals for the Design of Smart and Connected Systems

Publication History

Published: 26 May 2017

Accepted: 01 September 2016

Received: 01 November 2015

Published in TECS Volume 16, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Funding Sources

NSF Expeditions in Computing award
EPSRC
NSF

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
245
Total Downloads

Downloads (Last 12 months)66
Downloads (Last 6 weeks)20

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Blondin MOfftermatt PSansfaçon-Buchanan A(2023)Verifying linear temporal specifications of constant-rate multi-mode systems2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1109/LICS56636.2023.10175721(1-13)Online publication date: 26-Jun-2023
https://doi.org/10.1109/LICS56636.2023.10175721
Balszun MHobbs CFraccaroli ERoy DChakraborty S(2022)Exploiting Process Dynamics in Multi-Stage Schedule Optimization for Flexible Manufacturing2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA52439.2022.9921465(1-8)Online publication date: 6-Sep-2022
https://dl.acm.org/doi/10.1109/ETFA52439.2022.9921465
Balszun MHobbs CFraccaroli ERoy DFummi FChakraborty S(2022)Process Dynamics-Aware Flexible Manufacturing for Industry 4.02022 IEEE 18th International Conference on Automation Science and Engineering (CASE)10.1109/CASE49997.2022.9926495(2375-2382)Online publication date: 20-Aug-2022
https://dl.acm.org/doi/10.1109/CASE49997.2022.9926495

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

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

Full Access

Get this Article

Media

Figures

Other

Tables

View Issue’s Table of Contents