Open AccessToward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration (extended version)
Author(s) -
Colas Le Guernic
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - nondeterministic algorithm , bounded function , bounding overwatch , interval arithmetic , interval (graph theory) , conic section , acceleration , computer science , algorithm , linear system , mathematics , control theory (sociology) , artificial intelligence , mathematical analysis , combinatorics , physics , classical mechanics , geometry , control (management)