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:

Overview and Tutorial on Artificial Intelligence Systems
Humans have a strong fascination with the idea of machines that can think. It is a recurring theme in fiction and the movies, from Hal to the...

Annual Report of Control Engineering
General Information The main goal of the Control Engineering group is to investigate the applicability of modern systems ... Memory or µSPAM (1 PhD...

Fuzzy and Neural Control
Chapter 9: Fuzzy and Neural Control.....215-236 Hamid R. Berenji [DOWNLOAD 0.9MB]...

    Leave comment :
    "Formal methods for control engineering"

    Name*

    Comment


    Related Free Files

    Fundamentals of Instrumentation and Control... - Download: 874 times
    Terminology and Symbols in Control... - Download: 537 times
    ASI - Control System Design and Layout Tips... - Download: 162 times
    Fuzzy and Neural Control... - Download: 154 times
    Quality Monitoring and Fault Detection in an... - Download: 98 times
    Lecture 11 -Processes with Deadtime,... - Download: 196 times
    Control in an Information Rich World... - Download: 81 times
    Intelligent Robot Prehension... - Download: 90 times
    Terminology and Symbols in Control... - Download: 1746 times
    Modern control systems engineering, Z. Gajic... - Download: 509 times


    eXTReMe Tracker