Sökning: "parameterized system"
Visar resultat 1 - 5 av 75 avhandlingar innehållade orden parameterized system.
1. Parameterized Systems : Generalizing and Simplifying Automatic Verification
Sammanfattning : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. LÄS MER
2. Numerical methods for parameterized linear systems
Sammanfattning : Solving linear systems of equations is a fundamental problem in engineering. Moreover, applications involving the solution to linear systems arise in the social sciences, business, and economics. Specifically, the research conducted in this dissertation explores solutions to linear systems where the system matrix depends nonlinearly on a parameter. LÄS MER
3. Parameterized Verification of Synchronized Concurrent Programs
Sammanfattning : There is currently an increasing demand for concurrent programs. Checking the correctness of concurrent programs is a complex task due to the interleavings of processes. Sometimes, violation of the correctness properties in such systems causes human or resource losses; therefore, it is crucial to check the correctness of such systems. LÄS MER
4. Model Checking Parameterized Timed Systems
Sammanfattning : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. LÄS MER
5. Continuous-time System Identification : Refined Instrumental Variables and Sampling Assumptions
Sammanfattning : Continuous-time system identification deals with the problem of building continuous-time models of dynamical systems from sampled input and output data. There are two main approaches in this field: indirect and direct. In the indirect approach, a suitable discrete-time model is first determined, and then it is transformed into continuous-time. LÄS MER