Pages that link to "Item:Q1608368"
From MaRDI portal
The following pages link to Hybrid systems: computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28--30, 2001. Proceedings (Q1608368):
Displaying 6 items.
- A Kleene-Schützenberger theorem for weighted timed automata (Q631775) (← links)
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Bumpless transfer control for switched systems: a time-and state-dependent multiple Lyapunov function method (Q2687785) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← links)
