SWITCHES AND JUMPS IN HYBRID ACTION SYSTEMS
Mauno Rönkkö, Anders Peter Ravn · Proceedings of the Estonian Academy of Sciences Engineering · 1998
Hybrid action systems extend a conventional action system with a guarded differential equation -a differential action -that defines the evolution of continuous variables while the guard remains true.The new action is given the weakest liberal precondition semantics, which is illustrated by examples from a train model.The example motivates a discussion of priorities in a system of iterated differential and ordinary actions.The conclusion is a proposal for a standard form with an urgency of discrete actions.The result is compared with the Branicky's classification in "may" and "must" jumps or switches.The asynchronous "may" switches can be modelled as interrupts of evolutions.