Search for dissertations about: "regular system"
Showing result 1 - 5 of 310 swedish dissertations containing the words regular system.
-
1. Regular Model Checking
Abstract : 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. READ MORE
-
2. Modeling Complex Engines as Dynamic Powertrain Members
Abstract : Engine modeling and simulation have been necessary tools for efficient product development in the automotive industry for some time. The scope of this work is novel engine models, tools, and methods for powertrain research and development. READ MORE
-
3. System-Level Analysis and Design under Uncertainty
Abstract : One major problem for the designer of electronic systems is the presence of uncertainty, which is due to phenomena such as process and workload variation. Very often, uncertainty is inherent and inevitable. If ignored, it can lead to degradation of the quality of service in the best case and to severe faults or burnt silicon in the worst case. READ MORE
-
4. Sensors and Algorithms in Industry 4.0 : Security and Health Preservation Applications
Abstract : Globalisation and technological digitisation have triggered an Industry 4.0. revolution. The core of this revolution is autonomisation of complex processes, which require expert knowledge. READ MORE
-
5. A New Paradigm for Large Brushless Hydrogenerators : Advantages Beyond the Static System
Abstract : The grid code, FIKS, from the Norwegian transmission system operator (TSO), Statnett, states that synchronous generators > 25MVA, must have a static excitation system. However, an improved brushless excitation system is in operation on some commercial power plants (36MVA, 93.75rpm & 52MVA, 166. READ MORE