This paper addresses the analysis of slope-parametric hybrid automata: nding conditions on the slopes of the automaton variables, for some safety property to be veriied. The problem is shown decidable in some practical situations (e.g. nding the running speeds of tasks in a real time application, for all tasks to respect their deadlines). The resolution technique generalizes polyhedral-based sy...

Abstract The present article highlights the need to understand physiognomy of hybrid conflicts, action methodology actors in these and aims identify correlation between characteristics operational environment typology participating order model future military actions. ever-changing nature emphasizes importance understanding phenomenon terms process conflict management resolution, general, confl...