Pages that link to "Item:Q547916"
From MaRDI portal
The following pages link to Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems (Q547916):
Displaying 4 items.
- New results on passivity-based \(\mathcal{H}_\infty\) control for networked cascade control systems with application to power plant boiler-turbine system (Q894300) (← links)
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems (Q2948229) (← links)
- Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (Q3000643) (← links)
- Statistical Model Checking for Networks of Priced Timed Automata (Q3172845) (← links)
