# Home > Automation > Control Engineering

```
```

**Download**

**240**

times
**Topic under **Control Engineering

**Source:** www.dcs.qmul.ac.uk

**File size:**

**File type:** **pdf**

**Last download on:**
Fri Nov 03, 2017 07:38:44 PM

__Short Desciption__:

Formal methods for control engineering n. Goal Investigate formal methods and theorem proving in support of control engineering

__Summary__:

School of Computer Science
! University of St Andrews
! RAE 5, “Commendable” teaching
! 12.5 staff, 20 graduates per year
! Research
! Software architectures
! Symbolic computation
! GAP discrete maths software
! Symmetry and constraints
! Light formal methods - NAG
! Formal methods and analysis - NASA
! Computational logic for computer algebra
! Funding: EPSRC, EC, NAG Ltd, Qinetiq, Microsoft, SRI
! SAFA consortium: Edinburgh, Glasgow, St Andrews

Bookmark or share this info on Google+ and leave comment at below :

```
```

```
```

```
People who downloaded this also viewed in this sites:
```

__Control Engineering in Tanzania Soap boiling control__

The goals of process control are minimising the production costs, minimisation of the negative
influences on environment and optimising the quality...__INSTRUMENTATION AND CONTROL TUTORIAL CONTROL ACTION __

This tutorial is of interest to any student studying control systems and in particular the EC
module D227 - Control System Engineering. ...__INDUSTRIAL AUTOMATION__

IDC Engineering Pocket Guide. 1st Edition. VOLUME 6. Best Practice in. Industrial Data. Communications. Advanced. Process Control. Automatic. Safety...

```
Leave comment :
```

"Formal methods for control engineering"

```
Related Free Files
```

```
Fundamentals of Instrumentation and Control... - Download:
```

**706** times

Handbook of Logic in AI and Logic... - Download: **146** times

Terminology and Symbols in Control... - Download: **535** times

Design of Structure-Based Hierarchies for... - Download: **63** times

Modeling and Analysis of Artificially... - Download: **58** times

Modelling and control of a hydraulic servo... - Download: **307** times

INSTRUMENTATION AND CONTROL CREATING MODELS... - Download: **161** times

Advanced Control Engineering Handbook... - Download: **790** times

Modern control systems engineering, Z. Gajic... - Download: **484** times

Overview and Tutorial on Artificial... - Download: **102** times