Constant-rate multi-mode systems (MMSs) are hybrid systems with finitely many modes and real-valued variables that evolve over continuous time according to mode-specific constant rates. Equivalently, they correspond to continuous vector addition systems (VASs), where counters may become negative. We...
Highlights, strengths & weaknesses, commercial applications, and societal impact — written for this paper on demand.
No comments yet
Be the first to share your thoughts!