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:

AUTOCREW: A Paradigm for Intelligent Flight Control
Chapter 15: AUTOCREW: A Paradigm for Intelligent Flight Control.....371-400 Brenda L. Belkin and Robert F. Stengel [DOWNLOAD 1.5MB]...

Control Engineering Design Criteria
APPENDIX 10E Control Engineering Design Criteria 10E1 Introduction This appendix summarizes the codes, standards, criteria and practices that will be...

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

    Re: Solution Manual (MODERN CONTROL SYSTEM... - Download: 12820 times
    Real-Time Control Systems with Delays... - Download: 172 times
    Advanced Process Control Training... - Download: 862 times
    Learning Control Systems... - Download: 238 times
    INSTRUMENTATION AND CONTROL TUTORIAL ... - Download: 1084 times
    Fundamentals of Instrumentation and Control... - Download: 653 times
    Basic Tools of Control Theory... - Download: 208 times
    Using Hybrid Feedback Control Engineering... - Download: 77 times
    Handbook of Logic in AI and Logic... - Download: 146 times
    Control Tutorial... - Download: 181 times


    eXTReMe Tracker