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:

Systems and Control Engineering
Control has been a linchpin of the modern age. .... the frequency response approach used by the communication ... The Modern Control Period: Post...

Learning in Control
Chapter 12: Learning in Control.....283-317 Edward Grant [DOWNLOAD 1.6MB]...

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

    Fuzzy and Neural Control... - Download: 150 times
    Instruments and Controls... - Download: 306 times
    Integration and Automation of Manufacturing... - Download: 150 times
    Instrumentation and Control Training... - Download: 3069 times
    FUNDAMENTALS OF CONTROL ENGINEERING... - Download: 726 times
    PCT and Engineering Control Theory... - Download: 128 times
    INTELLIGENT CONTROL... - Download: 105 times
    An Introduction to Control Theory With... - Download: 166 times
    Real-time Control Systems A Tutorial... - Download: 162 times
    Annual Report of Control Engineering of the... - Download: 64 times


    eXTReMe Tracker