Vi studerar den tidsbundna tillgänglighetsproblem för monoton hybrid automata (MHA), dvs. rektangulär hybrid automata för vilken hastigheten av varje variabel är antingen alltid icke-negativ eller alltid icke-positiv. I detta dokument ser vi över de resultat som presenteras [5] och visar att problemet är NEXPTIME-komplett. Vi visar också att vi effektivt kan beräkna fasta punkter som kännetecknar de uppsättningar av stater som kan nås (resp. samuppnåelig) inom T-tidsenheter från ett givet tillstånd.
I detta dokument beräknar vi tidsbunden räckvidd REF med hjälp av flödesrörskonstruktion.
Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points
{'venue': 'ATVA', 'journal': None, 'mag_field_of_study': ['Computer Science']}