Pages that link to "Item:Q2371887"

The following pages link to Hybrid systems: computation and control. 10th international conference, HSCC 2007, Pisa, Italy, April 3--5, 2007. Proceedings. (Q2371887):

Displaying 2 items.

• Hybrid model predictive control of a solar air conditioning plant (Q397392) (← links)
• Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)