Dissertation > Excellent graduate degree dissertation topics show

Predictive Control and Formal Verification Technology Using MLD Model

Author: LuDi
Tutor: WangYuHong
School: China University of Petroleum
Course: Control Science and Engineering
Keywords: Hybrid Systems Mixed logic dynamic model Predictive Control Formal verification A continuous stirred tank reactor
CLC: TP13
Type: Master's thesis
Year: 2011
Downloads: 56
Quote: 0
Read: Download Dissertation

Abstract


In modern process industry , increasingly complex process control objects as well as the increasing requirements of the control accuracy dynamic hybrid and discrete event dynamic characteristics of industrial process control , continuous process is more and more obvious , traditional methods of theoretical modeling of these systems and control has been difficult to meet the control requirements . In view of this situation , the paper mixed logic dynamic (Mixed Logical Dynamical, MLD) model theory , hybrid systems modeling , control and the form of validation studies . In this paper, on the basis of previous research work on hybrid system theory made ??for further research and exploration . The contents of the study include hybrid systems control and form -based MLD validation study in two parts , mainly in the following areas : in-depth study of mixed logic dynamic system modeling mechanism , the the logical proposition conversion integer linear planning methods , respectively, in order mechanism modeling and Hysdel methods to establish a CSTR system MLD model summarizes the equivalence between the different models of hybrid systems . Traditional model predictive control applied to the hybrid system based on MLD model to study the optimal control of mixed logic dynamic open-loop system constraints , respectively, to explore the model predicts based on MIQP MILP problem by numerical simulation two the effectiveness of the algorithm . Explored both theorem proving and model checking hybrid systems formal verification methods , detailed verification tools based on the form of model checking , formal verification , simulation studies on the bouncing ball system using CheckMate verification tools . Mixed logic dynamic system verification problems in the form of mixed logic dynamic system , in theory, in-depth study to verify the algorithm , the algorithm is applied to the nonlinear CSTR system based on the hybrid systems in the form of mathematical programming , explore the CSTR system security issues , a useful exploration of the correctness and reliability of the hybrid system control . Finally, a summary of the full text of the work , to verify the technical direction of the future development prospect of hybrid systems control and form .

Related Dissertations

  1. Satellite Attitude Control Methods Using Only Magnetorquers,V448.222
  2. Research of Predictive Control in Water Treatment Plant Based on Neuron Network,TP273.1
  3. Robust Model Predictive Control of Networked Systems,TP273
  4. Research on Predictive Control and Simulation of pH Value Based on the Confection Process of Sodium Nitrate,TP273
  5. The Inverse System Predictive Controller for Structure Vibration,TU311.3
  6. Model Predictive Control Immunity Performance Analysis and Improvement Methods,TP273
  7. Research on Multi-hierarchical Model Predictive Control of Nonlinear System,TP273
  8. Supercritical Power Unit Load Control and Optimization Based on Generalized Predictive Control,TM621.6
  9. Cement production process optimization control strategy,TP273
  10. SOC platform for advanced control design and implementation,TP273
  11. Blast distributed coordination with TRT device control method,TP273
  12. Low speed and high torque transverse flux permanent magnet synchronous motor control system research,TM341
  13. Air-cooled proton exchange membrane fuel cell dynamics control and performance testing of,TM911.4
  14. Predicted by the model based on multi- boiler main steam temperature control,TP273
  15. Resonant vibration load fatigue testing system model predictive control technology,TH87
  16. Keep track of the inner formation control method,V448.2
  17. Based on Multi-Agent automotive coating line research group control system,U468.22
  18. SystemVerilog-based functional verification module URAT,TN402
  19. Research on Predictive Framework of the Signal Control System,TP273
  20. A Study of Robust Control Method for Pneumatic Brake ABS on Commercial Vehicles,U463.526
  21. Research and Application of Traffic Network Model on Urban Road with Hybrid Petri Nets,U491.112

CLC: > Industrial Technology > Automation technology,computer technology > Automated basic theory > Automatic control theory
© 2012 www.DissertationTopic.Net  Mobile