Dissertation > Excellent graduate degree dissertation topics show

Modeling and Analysis of Stochastic Switched Systems

Author: MaJiaYing
Tutor: DingZuoHua
School: Zhejiang University of Technology
Course: Basic mathematics
Keywords: Stochastic switched system Markov chain Stochastic-Diferential Petri Net Model design Model checking
CLC: N945.12
Type: Master's thesis
Year: 2013
Downloads: 12
Quote: 0
Read: Download Dissertation

Abstract


Stochastic switched system incorporates discrete states, continuous dynamics and ran-domness. This kind of system is widely used in a variety of industrial processes such asthe automotive industry, navigation systems, aircraft control systems, air trafc control, fi-nance market model, and many other fields. However, the languages to describe the discreteswitching logic and the stochastic dynamic processes are diferent, and this diference makesthe design and analysis hard.This thesis studies such a kind of stochastic system, in which the continuous dynamicprocesses are described using a set of Ito stochastic diferential equations and the control logicis based on Markov jump. The thesis focuses on the modeling and analysis of the stochasticswitched system. First, this thesis proposes a new Petri net model, namely StochasticDiferential Petri Net. Using the new Petri net, this thesis represents the stochastic switchedsystem based on the E-M discrete format. Then, the PRISM model checker is used tocheck the newly-defined model. In order to model check the Petri net model, this thesisconstructs the corresponding Markov chain to the reachability states of the SDPN, andprove the equivalence of the Markov chain from the reachability graph and that from thestate space partition, based on the equivalence, the SDPN model is model checked by PRISM.A temperature control system has been used to demonstrate the correctness and efectivenessof our method.The contributions of the work are located in the following aspects:Model with randomness. The Petri net language enables us to model the switching logicand stochastic subsystems in a single formalism.Verification of a system with infinite states. For a system whose states involve infiniteor uncountable components, this thesis obtain an equivalent finite state representation onwhich finite state model checking methods can be applied.

Related Dissertations

  1. Project Financing in Tourism Resources Development Application,F283
  2. A Study of Simulation and Forecast of Urban Expansion Based on CA-MARKOV Model,TU984
  3. Researches on Urban Rail Transportation Operation Management System Test and Evaluation Method,TP311.52
  4. Detection and Tracking of Moving Object in Complex Background,TP391.41
  5. Using Reversible Jump MCMC to Solve Latent Class Analysis,O212
  6. Guaranteed Cost Control of Networked Control Systems with Uncertainty and Long Time Delay,TP273
  7. Load Balancing Strategy Based on Software Aging,TP311.52
  8. Traffic Prediction Model Based on Wavelet and Markov,TP393.06
  9. The Application on Some Prediction with Markov Chain Model,O211.62
  10. Application Analysis and Risk Assessment Methods of Dynamic Line Rating System for Overhead Transmission Line,TM76
  11. Risk-based entropy and Markov chain approach MANET Security Risk Assessment and System Implementation,TN929.5
  12. Research on Rotary Channel Modeling Based on Markov Chain for Wireless Sensor Monitoring on Motorized Spindle,TP274
  13. Optimization Algorithms Based on Fuzzy Sets and Markov Chain,O224
  14. Markov Chain Analysis of Tourist Spatial-temporal Behavior,F224
  15. Research the Algorithms on Multi-objective Dynamic Vehicle Routing Problem,O221.6
  16. Some Research Results of Discrete Time Vacation Queueing System,O226
  17. IEEE 802.15.4 slot CSMA / CA algorithm to improve the performance of research and analysis,TP212.9
  18. The ERD(?)S-R(?)NYI Law and Stationary Finite States Markov Chain,O211.62
  19. The Fruther Research on Ruin Problem Model of Gamblers,F840
  20. Outstanding Loss Reserve Estimation Method Comparison Study,F840
  21. The Research on Land Use Structure Optimizing in Xing-guo County,F301

CLC: > SCIENCE AND > Journal of Systems Science > Systems Engineering > Systems Analysis > System model,system modeling
© 2012 www.DissertationTopic.Net  Mobile