IEEE.org | IEEE Xplore Digital Library | IEEE Standards | IEEE Spectrum | More Sites
Call for Award Nominations
More Info
Available soon!
In cyber-physical systems, safety and availability are of utmost importance. To satisfy requirements on safety and availability, suitable supervisory controllers need to be employed. Supervisory control theory provides a foundation on which a model-based engineering method has been developed, providing guarantees on the correctness of resulting supervisory controllers with respect to the defined requirements. In this lecture, an overview will be given of the recent research projects at Eindhoven University of Technology aiming at the development of extensions to this method, and of supporting tools, giving rise to an integrated approach to the design of supervisory controllers for complex real-life systems. This includes a mathematically underpinned, straightforward and error-free path to implementation of the designed controllers. The research projects are related to the partnership with Rijkswaterstaat which is a part of the Dutch Ministry of Infrastructure and Water Management.
More information provided here.
This talk presents recent results in nonlinear observer design and their applications in motion estimation problems ranging from wearable sensors to bicycles. First, a new observer design technique that integrates the classical high-gain observer with a novel LPV/LMI observer to provide significant advantages compared to both methods is presented. Second, the challenges in designing observers for nonlinear systems which are non-monotonic are discussed. Non-monotonic systems are commonly encountered, but popular observer design methods fail to yield feasible solutions for such systems. Hybrid observers with switched gains enable existing observer design methods to be utilized for these systems. Following the analytical observer results, some of their applications in motion estimation are presented, including a wearable device for Parkinson’s disease patients, a smart bicycle that automatically tracks the trajectories of nearby vehicles on the road to protect itself, and smart agricultural/construction vehicles that utilize inexpensive sensors for end-effector position estimation. Each application is accompanied by a video of a prototype experimental demonstration. One of these applications has been successfully commercialized through a start-up company which expects to sell over 5,000 sensor boards this year.
Mechanical motion generation and vibration suppression is fundamental to modern machines and emerging innovations. Abilities to learn and compensate for complex mechanical system and disturbance dynamics are key to synthesizing adequate control actions to achieve precision motions. Using application case studies to motivate challenges and demonstrate implementation results, I will present control methods for addressing narrowband (repetitive control, iterative learning control) and broadband (adaptive control) motions and disturbances. I will attempt to convey a common theme, controller syntheses stemming from ideas of system dynamic inversions and utilizing solutions of optimal model matching problems.
Genetic circuits control every aspect of life and thus the ability to engineer them de-novo opens exciting possibilities, from revolutionary drugs and green energy to bugs that recognize and kill cancer cells. Just like in mechanical, electrical, and hydraulic systems, the problem of loading, or back-action, is encountered when engineering genetic circuits. These molecular loads can be severe to the point of completely destroying the intended function of a circuit. In this talk, I will review a systems theoretic modeling formalism, grounded on the concept of retroactivity, that captures molecular loads in a way that makes the loading problem amenable of a solution. I will, in particular, focus on two types of loading: inter-module loads and loads to cellular resources that feed the modules. I will show experimentally validated models of loading effects on the emergent dynamics of a system and nonlinear control techniques that we have developed and implemented to mitigate these effects.
Urban Air Mobility (UAM) is an emerging aviation sector and is playing an integral part in the on-demand mobility revolution. UAM is powered by the convergence of advances in distributed electrical propulsion (DEP) and vehicle autonomy. The complexity of operations in the urban environment and the unconventional vehicle configurations designed to take advantage of new propulsion technologies, result in numerous challenges that benefit from a control-centric approach. In this talk, we outline some of these challenges and present our current approach to addressing them. For example, in order to achieve full market potential and access to UAM, vehicle autonomous flight is required. A key barrier to autonomous flight in a large multi-agent system is dealing with off-nominal situations and contingencies in a safe and predictable manner. We present our approach to intelligent contingency management and share recent results and open problems. Additionally, we discuss another major barrier to ubiquitous UAM – the noise signature produced by vehicles with multiple rotors. We present our approach to minimizing such noise within the framework of the acoustically-aware vehicle.
In this talk, we will discuss how optimization and control theory play a fundamental, and often overlooked, role in multi-UAV coordination. We will see how the solutions of optimal control problems are essential in combinatorial assignment algorithms. Using intuition gained by solving these problems, one can intuit how results dealing with static task assignments extend to cases where the tasks are dynamic in nature. The concepts discussed in this talk will be highlighted with specific problems that are relevant to defense applications.
Reachability analysis, which considers computing or approximating the set of future states attainable by a dynamical system over a time horizon, is receiving increased attention motivated by new challenges in, e.g., learning-enabled systems, assured and safe autonomy, and formal methods in control systems. Such challenges require new approaches that scale well with system size, accommodate uncertainties, and can be computed efficiently for in-the-loop or frequent computation. In this talk, we present and demonstrate a suite of tools for efficiently over-approximating reachable sets of nonlinear systems based on the theory of mixed monotone dynamical systems. A system is mixed monotone if its vector field or update map is decomposable into an increasing component and a decreasing component. This decomposition allows for constructing an embedding system with twice the states such that a single trajectory of the embedding system provides hyperrectangular over-approximations of reachable sets for the original dynamics. This efficiency can be harnessed, for example, to compute finite abstractions for tractable formal control verification and synthesis or to embed reachable set computations in the control loop for runtime safety assurance. We demonstrate these ideas on several examples, including an application to safe quadrotor flight that combines runtime reachable set computations with control barrier functions implemented on embedded hardware.
The fields of adaptive control and machine learning have evolved in parallel over the past few decades, with a significant overlap in goals, problem statements, and tools. Machine learning as a field has focused on computer-based systems that improve and learn through experience. Oftentimes the process of learning is encapsulated in the form of a parameterized model such as a neural network, whose weights are trained in order to approximate a function. The field of adaptive control, on the other hand, has focused on the process of controlling engineering systems in order to accomplish regulation and tracking of critical variables of interest. Learning is embedded in this process via online estimation of the underlying parameters. In comparison to machine learning, adaptive control often focuses on limited-data problems where fast, on-line performance is critical. Whether in machine learning or adaptive control, this learning occurs through the use of input-output data. In both cases, the approach used for updating the parameters is often based on gradient descent-like and other iterative algorithms. Related tools of analysis, convergence, and robustness in both fields have a tremendous amount of similarity. As the scope of problems in both topics increases, the associated complexity and challenges increase as well. In order to address learning and decision-making in real time, it is essential to understand these similarities and connections to develop new methods, tools, and algorithms.
This talk will examine the similarities and interconnections between adaptive control and optimization methods commonly employed in machine learning. Concepts in stability, performance, and learning, common to both fields will be discussed. Building on the similarities in update laws and common concepts, new intersections and opportunities for improved algorithm analysis will be explored. High-order tuners and time-varying learning rates have been employed in adaptive control leading to very interesting results in dynamic systems with delays. We will explore how these methods can be leveraged to lead to provably correct methods for learning in real-time with guaranteed fast convergence. Examples will be drawn from a range of engineering applications.
