Pages that link to "Item:Q5307469"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5307469):
Displayed 16 items.
- Expected reachability-time games (Q278757) (← links)
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- On the optimal reachability problem of weighted timed automata (Q2385195) (← links)
- Dwell time and average dwell time methods based on the cycle ratio of the switching graph (Q2439109) (← links)
- Optimal infinite scheduling for multi-priced timed automata (Q2475633) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Optimal strategy synthesis for request-response games (Q3465629) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- Infinite Runs in Weighted Timed Automata with Energy Constraints (Q3543286) (← links)
- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata (Q3648825) (← links)
- Discount-Optimal Infinite Runs in Priced Timed Automata (Q5179061) (← links)
- Optimal run problem for weighted register automata (Q5919052) (← links)