Search for dissertations about: "reachable set"
Showing result 1 - 5 of 17 swedish dissertations containing the words reachable set.
-
1. Stochastic Invariance and Aperiodic Control for Uncertain Constrained Systems
Abstract : Uncertainties and constraints are present in most control systems. For example, robot motion planning and building climate regulation can be modeled as uncertain constrained systems. In this thesis, we develop mathematical and computational tools to analyze and synthesize controllers for such systems. READ MORE
-
2. Regular model checking
Abstract : 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. READ MORE
-
3. Automatic Verification of Parameterized Systems by Over-Approximation
Abstract : This thesis presents a completely automatic verification framework to check safety properties of parameterized systems. A parameterized system is a family of finite state systems where every system consists of a finite number of processes running in parallel the same algorithm. READ MORE
-
4. Compact Constraints for Verification of Well Quasi-Ordered Programs
Abstract : In this thesis we present algorithms and constraint systems for efficient verification of infinite-state transition systems that are monotonic with respect to a well quasi-ordering. A major problem in verification of infinite-state systems is constraint explosion, that is, the number of constraints generated during analysis is too large. READ MORE
-
5. A systematic approach to abstract interpretation of logic programs
Abstract : The notion of abstract interpretation facilitates a formalized process of approximating meanings of programs. Such approximations provide a basis for inferring properties of programs. READ MORE