Home > Automation > Control Engineering


[ pdf ] Formal methods for control engineering

Formal methods for control engineering Download
246
times
Topic under  Control Engineering
Source: www.dcs.qmul.ac.uk 
File size:
File type: pdf
Last download on: Thu Apr 12, 2018 03:17:18 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:

Engineering Symbology, prints and drawing vol 1 of 2
Engineering Symbology, prints and drawing handbook, MODUL 1, 2, 3 ENGINEERING SYMBOLOGY, PRINTS,AND DRAWING INTRODUCTION TO PRINT...

Engineering Control Systems
Engineering Control Systems . by . Jeff Rhoads and Terry Ballinger . MST @ MSU. 2006...

A Reference Model Architecture for Intelligent Systems Design
Chapter 2: A Reference Model Architecture for Intelligent Systems Design.....27-56 James S. Albus...

    Leave comment :
    "Formal methods for control engineering"

    Name*

    Comment


    Related Free Files

    Modern control systems engineering, Z. Gajic... - Download: 509 times
    INDUSTRIAL AUTOMATION... - Download: 1618 times
    Neural networks for self-learning control... - Download: 162 times
    Real-time Control Systems A Tutorial... - Download: 166 times
    ASI - Control System Design and Layout Tips... - Download: 162 times
    Design Modular Servo System Using MATLAB... - Download: 218 times
    Advanced Process Control Training... - Download: 872 times
    Using Hybrid Feedback Control Engineering... - Download: 80 times
    Intelligent Robot Prehension... - Download: 90 times
    Supervisory Machine Control by... - Download: 104 times


    eXTReMe Tracker