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:

Intelligent Robot Prehension
Chapter 13: Intelligent Robot Prehension.....319-347 Thang N. Nguyen and Harry Stpehanou [DOWNLOAD 1.2MB]...

Control Theory 2nd edition
Author(s): J.R.Leigh Publisher: The Institution of Engineering and Technology Date : 2004 Pages : 297 Format : PDF OCR :...

Control in an Information Rich World
Control in an Information Rich World Report of the Panel on Future Directions in Control, Dynamics, and Systems 30 June 2002, The field of control...

    Leave comment :
    "Formal methods for control engineering"

    Name*

    Comment


    Related Free Files

    Terminology and Symbols in Control... - Download: 537 times
    COM 2009 Nickel Pyrometallurgy - Modern... - Download: 109 times
    An InvariantBased Approach to the Design of... - Download: 66 times
    FUNDAMENTALS OF CONTROL ENGINEERING... - Download: 732 times
    PLC-based Process Control Engineering Guide... - Download: 420 times
    Modern Credential Access Control Approach... - Download: 77 times
    A Reference Model Architecture for... - Download: 83 times
    Control Systems Engineering 4 Edition... - Download: 1345 times
    Control System Theory in Maple... - Download: 204 times
    Learning in Control... - Download: 129 times


    eXTReMe Tracker