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:

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...

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

Design of Structure-Based Hierarchies for Distributed Intelligent Control
Chapter 4:Design of Structure-Based Hierarchies for Distributed Intelligent Control.....79-108 Levent Acar and Umit Ozguner...

    Leave comment :
    "Formal methods for control engineering"

    Name*

    Comment


    Related Free Files

    Re: Solution Manual (MODERN CONTROL SYSTEM... - Download: 3 times
    Measurement and Control Engineering... - Download: 413 times
    Design of Structure-Based Hierarchies for... - Download: 66 times
    Gravity Dam Design... - Download: 243 times
    Fundamentals of Instrumentation and Control... - Download: 713 times
    Using Web-based laboratories for control... - Download: 84 times
    Feedforward on Temperature Control Systems... - Download: 578 times
    Intelligent Robot Prehension... - Download: 90 times
    An Introduction to Control Theory With... - Download: 169 times
    Integration and Automation of Manufacturing... - Download: 153 times


    eXTReMe Tracker