Home > Automation > Control Engineering


[ pdf ] Formal methods for control engineering

Formal methods for 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 :

Bookmark and Share

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"

    Name*

    Comment


    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


    eXTReMe Tracker