Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 34 for “"Controller Synthesis"”.
-
Encoding Problems in Controller Synthesis
High-level synthesis systems design circuits that consist of a datapath and a controller. The datapath is a network of modules that is capable of performing the specified behavior. The controller is a circuit that delivers the proper sequence of control signals to the modules of the datapath. The …
-
Controller synthesis for reactive systems in distributed, real-time and hybrid settings
We investigate controller synthesis in distributed, real-time and hybrid settings. In distributed setting, we prove that the monadic second order theory of the event structure unfolding of every system of connectedly communicating processes (CCP) is decidable. With this, we show that the …
-
Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features
… graph with guard and reset functions; (b) controller synthesis that searches transition graph for given reach-avoid specification; (c) interface that allows user to connect DryVR with arbitrary black-box simulators, and (d) integration with Jupyter Notebook [4]. We also present a case study …
-
Receding-horizon switched linear system design: a semidefinite programming approach with distributed computation
… presents a framework for analysis and controller synthesis problems for switched linear systems. These are multi-modal systems whose parameters vary within a finite set according to the state of a discrete time automaton; the switching signal may be unconstrained or may be drawn from a …
-
Estimation and Control of Autonomous Vehicles Over Networks
A controller synthesis is developed using LMIs to find the controller which minimizes the H2 norm of the response of a system to noise. This method uses sampled-data system theory to take into account a continuous plant and a discrete controller. Although this synthesis was motivated by the HoTDeC …
-
A convex solution to receding horizon control of switched linear systems
… is exactly solved for finite-path-dependent controllers with finite horizon knowledge of future switching modes. Conditions for the existence of both a full-information state-feedback controller and a dynamic output feedback controller are given in the form of finite-dimensional systems of …
-
Decentralized control of linear switched systems with receding horizon
… control problem where exact conditions for controller synthesis are obtained via Linear Matrix Inequalities (LMIs). Using known derivations for a centralized controller with look-ahead, we were able to extend the decentralized problem with finite memory to include receding horizon modal …
-
Control Design for Long Endurance Unmanned Underwater Vehicle Systems
… thesis we demonstrate a technique for robust controller design for an autonomous underwater vehicle (AUV) that explicitly handles the trade-off between reference tracking, agility, and energy efficient performance. AUVs have many sources of modeling uncertainty that impact the uncertainty in …
-
Mu-synthesis controller design for temperature control of a solar steam gasifier with uncertainty modeling and robust analysis
… gasification process was utilized to produce synthesis gas by inputting lignite, water, and solar irradiation. Oxygen is also fed into the reactor to burn off a portion of the lignite if the solar irradiation is not sufficient to fuel the reactor. The gasifier is set to operate at a specific …
-
Global optimization of hybrid systems
… systems, air-traffic management systems, controller synthesis, switched systems, chemical process systems, signaling and decision making mechanisms in (biological) cells, robotic systems, safety interlock systems, and embedded systems. The primary focus of this thesis is to explore …
-
A finite state machine framework for robust analysis and control of hybrid systems
… challenging performance verification and control synthesis problems. Existing approaches either lead to computationally intensive and sometimes undecidable problems, or make use of highly specialized discrete abstractions with questionable robustness properties. The thesis addresses some of these …
-
Fine surface control of flexible space mirrors using adaptive optics and robust control
… for these types of systems. An H[infinity] controller is synthesized for a complex analytical model with 997 inputs, 936 outputs, and 332 states. To accomplish this, a new technique for model reduction using Zernike polynomials was developed. The H[infinity] controller was able to achieve a …
-
Switched Markov Jump Linear Systems: Analysis and Control Synthesis
… to nonconservative LMI formulations for optimal controller synthesis with respect to disturbance attenuation. As a special case, the analysis also applies to a Markov jump linear system with known transition probabilities that vary in a finite set.
-
Learning and decentralized control in linear switched systems
… models. In this dissertation, we focus on the controller synthesis problem for interconnected systems and the application to physical systems. While there are many existing control theory tools to optimize the performance of systems with a centralized structure, we are interested in developing …
-
Studies on Stability and Stabilization of Randomly Switched Systems
… a study on stability analysis and stabilizing controller synthesis of randomly switched systems. These systems have two ingredients: a family of nonlinear subsystems and a random switching signal that specifies which subsystem is active at each time instant. In broad strokes, the approach …
-
A Polynomial Chaos Approach to Control Design
… section is included that demonstrates controller synthesis for a constructed probabilistic system. The experimental results lend support to the method.
-
Abstractions, Analysis Techniques, and Synthesis of Scalable Control Strategies for Robot Swarms
… of swarm behavior and the design of robot controllers that can be proven to produce a desired macroscopic outcome. The controllers should be scalable, meaning that they ensure system operation regardless of the swarm size. This thesis presents a comprehensive approach to modeling a swarm …
-
On Automation in Anesthesia
… are closed-loop controlled, using a PID controller for propofol and a P controller for remifentanil. In order to tune the controllers, patient models have been identified from clinical data, with body mass as only biometric parameter. Care has been taken to characterize identifiability …
-
Nonlinear Robust Control Synthesis Methods for Spacecraft Applications
… systems used). Additionally, modern state space controller synthesis techniques typically result in state estimators of equal or greater dimension than the plant model. However, it is often desirable, or even necessary, to approximate these controllers by models of lower state dimension. …
-
Development of real-time process control systems using formal techniques
… software development formalisms for the system (controller) development, particular at early stage of the system design cycle. This research forms part of a larger research programme which is concerned with the development of real-time process-control systems in which software is used to control …
Page 1 of 2