Sökning: "state transition model"
Visar resultat 1 - 5 av 332 avhandlingar innehållade orden state transition model.
Sammanfattning : The focus of this thesis is the numerical study of subcritical transition to turbulence in boundary-layer flows. For the most part, boundary layers with uniform suction are considered. Constant homogeneous suction counteracts the spatial growth of the boundary layer, rendering the flow parallel. LÄS MER
Sammanfattning : To guarantee the safety operation, the key states of lithium-ion battery, e.g., the state of charge and the state of health, must be estimated and monitored accurately. This thesis is mainly to develop models and algorithms to accurately and robustly estimate the key battery states, based on the available measurements i. LÄS MER
Sammanfattning : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. LÄS MER
Sammanfattning : For many years, Sweden has had a reputation for having a comprehensive and women friendly welfare state. However, as in many other European countries during the past few decades, the organization and governing of welfare has undergone profound changes. LÄS MER
Sammanfattning : We present regular model checking, a framework for algorithmic verification of infinite-state systems with, e.g., queues, stacks, integers, or a parameterized linear topology. States are represented by strings over a finite alphabet and the transition relation by a regular length-preserving relation on strings. LÄS MER