Abstract:Bounded-rate multi-mode systems (BMMS) 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. The schedulability problem for BMMS is defined as an infinite-round game between two players---the scheduler and the environment---where in each round the scheduler proposes a time and a mode while the environment chooses an allowable rate for that mode, and the state of the system changes linearly in the direction of the rate vector. The goal of the scheduler is to keep the state of the system within a pre-specified safe set using a non-Zeno schedule, while the goal of the environment is the opposite. Green scheduling under uncertainty is a paradigmatic example of BMMS where a winning strategy of the scheduler corresponds to a robust energy-optimal policy. We present an algorithm to decide whether the scheduler has a winning strategy from an arbitrary starting state, and give an algorithm to compute such a winning strategy, if it exists. We show that the schedulability problem for BMMS is co-NP complete in general, but for two variables it is in PTIME. We also study the discrete schedulability problem where the environment has only finitely many choices of rate vectors in each mode and the scheduler can make decisions only at multiples of a given clock period, and show it to be EXPTIME-complete.

System-Wide Probabilities for Systems with Runs and Scans Rules

Characterising Probabilistic Alternating Simulation for Concurrent Games

Run-Length Distribution for Control Charts with Runs and Scans Rules

Redundancy Analysis for Multi-state System: Reliability and Financial Assessment

Resilience analysis of multi-state systems with time-dependent behaviors

Risk-sensitive Semi-Markov Decision Processes with General Utilities and Multiple Criteria

Probabilities of Mission Success and System Survival in Multi-State Systems with Arbitrary Structure

Safe Schedulability of Bounded-Rate Multi-Mode Systems

Proper Scoring Rules for Survival Analysis

State-based transition probabilities for systems subject to periodic inspection interval

Constrained Semi-Markov Decision Processes with Ratio and Time Expected Average Criteria in Polish Spaces

Formalizing Preferences Over Runtime Distributions

Towards Analysis Of Semi-Markov Decision Processes

A Note on Probability Quantification for Protective System Efficacy Analysis: Stochastic Dynamics, Information Flow, and Initiating Event Arrival Times

Strategic aspects of the probabilistic serial rule for the allocation of goods

Run-Related Probability Functions Applied to Sampling Inspection.

Reachability and Safety Objectives in Markov Decision Processes on Long but Finite Horizons

Analyzing Non-Markovian Systems by Using a Stochastic Process Calculus and a Probabilistic Model Checker

Binary Decision Diagram-Based Methods for Risk Assessment of Systems Subject to Propagated Failures and Parametric Uncertainties

Availability modeling and optimization of dynamic multi-state series–parallel systems with random reconfiguration

Time-to-state and Availability Assessment of Multi-State Weighted K-out-of-n: G Systems