Sökning: "Discrete models"

Visar resultat 11 - 15 av 390 avhandlingar innehållade orden Discrete models.

1. 11. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION

   Författare :Mona Noori-Hosseini; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Temporal logic; Anonymity; Opacity; Discrete event systems.; Automation; Formal verification; Fault diagnosability; Incremental abstraction;

   Sammanfattning : Dynamical systems can be classified into two groups. One group is continuoustime systems that describe the physical system behavior, and therefore are typically modeled by differential equations. The other group is discrete event systems (DES)s that represent the sequential and logical behavior of a system. LÄS MER

3. 12. Optimization of Manufacturing Cells Using Discrete Event Models

   Författare :Avenir Kobetski; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Flexible Manufacturing; Optimal Scheduling; Supervisory Control Theory; A*; Velocity Balancing; Discrete Events Systems; Mixed Integer Linear Programming; Timed Deterministic Finite Automata; Robot Coordination; Visibility Graphs;

   Sammanfattning : As the name suggests, this thesis is concerned with flexible manufacturing systems (FMS) and their way of living. More specifically, the main objective of this workis to generate working schedules for the moving objects of the manufacturing cells. LÄS MER

4. 13. Multi-trait Branching Models with Applications to Species Evolution

   Författare :Daniah Tahir; Ingemar Kaj; Martin Lascoux; Asger Hobolth; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Markov models; branching processes; density dependence; discrete traits; species trees; diversification rates; diffusion approximation;

   Sammanfattning : This thesis provides an analysis of the evolution of discrete traits and their effect on the birth and survival of species using the theory of supercritical, continuous time Markov branching processes. We present a branching modeling framework that incorporates multi-trait diversification processes associated with the emergence of new species, death of existing species, and transition of species carrying one type of a trait to another. LÄS MER

5. 14. Linear Models of Nonlinear Systems

   Författare :Martin Enqvist; Lennart Ljung; Rik Pintelon; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; linear models; nonlinear systems; system identification; stochastic processes; linearization; mean-square error; Automatic control; Reglerteknik;

   Sammanfattning : Linear time-invariant approximations of nonlinear systems are used in many applications and can be obtained in several ways. For example, using system identification and the prediction-error method, it is always possible to estimate a linear model without considering the fact that the input and output measurements in many cases come from a nonlinear system. LÄS MER

7. 15. Compositional optimization of large-scale discrete event systems

   Författare :Fredrik Hagebring; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Discrete Event Systems; Automation; Large-scale optimization; Discrete Optimization; Compositional Optimzation;

   Sammanfattning : Optimization of industrial processes such as manufacturing cells can have great impact on their performance. Finding optimal solutions to these large-scale systems is, however, a complex problem. They typically include multiple subsystems, and the search space generally grows exponentially with each subsystem. LÄS MER