This title constitutes 32 revised papers presented together with abstracts of four invited talks on computation and control. The focus of the works presented is on modelling, control, synthesis, design and verification of hybrid systems. Among the application areas covered are control of electromechanical systems, air traffic control, control of automated freeways, and chemical process control.
This title constitutes 32 revised papers presented together with abstracts of four invited talks on computation and control. The focus of the works pr...
