Home > Automation > Control Engineering


[ pdf ] Formal methods for control engineering

Formal methods for control engineering Download
239
times
Topic under  Control Engineering
Source: www.dcs.qmul.ac.uk 
File size:
File type: pdf
Last download on: Tue Oct 03, 2017 11:41:37 AM
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:

Advanced Process Control Training Presentation
State-of-the-art in Modern Control Engineering; Appropriate for Process Systems and Applications; APC: systematic approach to choosing relevant...

Terminology and Symbols in Control Engineering
Part1: Fundamentals Part2: Self-operated Regulators Part3: Control Valves Part4: Communication Part5: Building Automation Part6: Process Automation...

Modern control systems engineering, Z. Gajic and M. Lelic
Modern control systems engineering, Z ... book Modern Control Systems Engineering representsa modern treatment of the classical control theory. It is...

    Leave comment :
    "Formal methods for control engineering"

    Name*

    Comment


    Related Free Files

    Control in an Information Rich World... - Download: 78 times
    Design Modular Servo System Using MATLAB... - Download: 214 times
    Lecture 3 - Model-based Control Engineering... - Download: 228 times
    Control Tutorial... - Download: 181 times
    Design of Structure-Based Hierarchies for... - Download: 63 times
    Modelling and control of a hydraulic servo... - Download: 305 times
    Magnetic Levitation System 2EM... - Download: 202 times
    Control Engineering A Modern Approach... - Download: 429 times
    A Framework for Knowledge-Based Diagnosis in... - Download: 68 times
    Fundamentals of Instrumentation and Control... - Download: 704 times


    eXTReMe Tracker