Stability analysis of a general class of singularly perturbed linear hybrid systems

Motivated by a real problem in steel production, we introduce and analyze a general class of singularly perturbed linear hybrid systems with both switches and impulses, in which the slow or fast nature of the variables can be mode-dependent. This means that, at switching instants, some of the slow variables can become fast and vice-versa. Firstly, we show that using a mode-dependent variable reordering we can rewrite this class of systems in a form in which the variables preserve their nature over time. Secondly, we establish, through singular perturbation techniques, an upper bound on the minimum dwell-time ensuring the overall system's stability. Remarkably, this bound is the sum of two terms. The first term corresponds to an upper bound on the minimum dwell-time ensuring the stability of the reduced order linear hybrid system describing the slow dynamics. The order of magnitude of the second term is determined by that of the parameter defining the ratio between the two time-scales of the singularly perturbed system. We show that the proposed framework can also take into account the change of dimension of the state vector at switching instants. Numerical illustrations complete our study

Middeck Active Control Experiment (MACE), phase A

A rationale to determine which structural experiments are sufficient to verify the design of structures employing Controlled Structures Technology was derived. A survey of proposed NASA missions was undertaken to identify candidate test articles for use in the Middeck Active Control Experiment (MACE). The survey revealed that potential test articles could be classified into one of three roles: development, demonstration, and qualification, depending on the maturity of the technology and the mission the structure must fulfill. A set of criteria was derived that allowed determination of which role a potential test article must fulfill. A review of the capabilities and limitations of the STS middeck was conducted. A reference design for the MACE test article was presented. Computing requirements for running typical closed-loop controllers was determined, and various computer configurations were studied. The various components required to manufacture the structure were identified. A management plan was established for the remainder of the program experiment development, flight and ground systems development, and integration to the carrier. Procedures for configuration control, fiscal control, and safety, reliabilty, and quality assurance were developed

Integrated flight/propulsion control design for a STOVL aircraft using H-infinity control design techniques

Results are presented from an application of H-infinity control design methodology to a centralized integrated flight propulsion control (IFPC) system design for a supersonic Short Takeoff and Vertical Landing (STOVL) fighter aircraft in transition flight. The emphasis is on formulating the H-infinity control design problem such that the resulting controller provides robustness to modeling uncertainties and model parameter variations with flight condition. Experience gained from a preliminary H-infinity based IFPC design study performed earlier is used as the basis to formulate the robust H-infinity control design problem and improve upon the previous design. Detailed evaluation results are presented for a reduced order controller obtained from the improved H-infinity control design showing that the control design meets the specified nominal performance objectives as well as provides stability robustness for variations in plant system dynamics with changes in aircraft trim speed within the transition flight envelope. A controller scheduling technique which accounts for changes in plant control effectiveness with variation in trim conditions is developed and off design model performance results are presented

Singularly Perturbed Stochastic Hybrid Systems: Stability and Recurrence via Composite Nonsmooth Foster Functions

We introduce new sufficient conditions for verifying stability and recurrence properties in singularly perturbed stochastic hybrid dynamical systems. Specifically, we focus on hybrid systems with deterministic continuous-time dynamics that exhibit multiple time scales and are modeled by constrained differential inclusions, as well as discrete-time dynamics modeled by constrained difference inclusions with random inputs. By assuming regularity and causality of the dynamics and their solutions, respectively, we propose a suitable class of composite nonsmooth Lagrange-Foster and Lyapunov-Foster functions that can certify stability and recurrence using simpler functions related to the slow and fast dynamics of the system. We establish the stability properties with respect to compact sets, while the recurrence properties are studied only for open sets

Robotic manipulation with flexible link fingers

A robot manipulator is a spatial mechanism consisting essentially of a series of bodies, called "links", connected to each other at "joints". The joints can be of various types: revolute, rotary, planar, prismatic, telescopic or combinations of these. A serial connection of the links results in an open-chain manipulator. Closed-chain manipulators result from non-serial (or parallel) connections between links. Actuators at the joints of the manipulator provide power for motion. A robot is usually not designed for a very specific or repetitive task which can be done equally well by task-specific machines. Its strength lies in its ability to handle a range of tasks by virtue of being "re-programmable". Therefore, in addition to the mechanical hardware two other elements are integral to the description of a robot: sensors and control. With the advent of micro-electronics and digital computers the availability of sensors is ever increasing and the control is usually done by software executed by computers which also collect the sensory data. It is possible to model quite accurately, the dynamics of robot manipulators for purposes of control. However, for most practical robots the models are complex and numerically intensive to calculate in real-time. Traditional analyses of robot manipulators consider the whole mechanism to be rigid. Relaxation of the assumption of rigidity leads to further complication of the dynamics of the manipulator, leading to more difficulties in control. The overall motion of the manipulator is augmented by additional motion due to the dynamics of flexibility which must be considered. Sensing is also made more difficult. However, the ability to control robots with significant structural flexibilities, referred to as flexible robots in the rest of this thesis, influences robotics in many ways. It allows for consideration of new applications, observance of less conservative structural design and performance enhancements in certain classes of robotic tasks, which will be addressed in greater detail in the sections which follow

Modular Hopping and Running via Parallel Composition

Though multi-functional robot hardware has been created, the complexity in its functionality has been constrained by a lack of algorithms that appropriately manage flexible and autonomous reconfiguration of interconnections to physical and behavioral components. Raibert pioneered a paradigm for the synthesis of planar hopping using a composition of ``parts\u27\u27: controlled vertical hopping, controlled forward speed, and controlled body attitude. Such reduced degree-of-freedom compositions also seem to appear in running animals across several orders of magnitude of scale. Dynamical systems theory can offer a formal representation of such reductions in terms of ``anchored templates,\u27\u27 respecting which Raibert\u27s empirical synthesis (and the animals\u27 empirical performance) can be posed as a parallel composition. However, the orthodox notion (attracting invariant submanifold with restriction dynamics conjugate to a template system) has only been formally synthesized in a few isolated instances in engineering (juggling, brachiating, hexapedal running robots, etc.) and formally observed in biology only in similarly limited contexts. In order to bring Raibert\u27s 1980\u27s work into the 21st century and out of the laboratory, we design a new family of one-, two-, and four-legged robots with high power density, transparency, and control bandwidth. On these platforms, we demonstrate a growing collection of $\{$body, behavior$\}$ pairs that successfully embody dynamical running / hopping ``gaits\u27\u27 specified using compositions of a few templates, with few parameters and a great deal of empirical robustness. We aim for and report substantial advances toward a formal notion of parallel composition---embodied behaviors that are correct by design even in the presence of nefarious coupling and perturbation---using a new analytical tool (hybrid dynamical averaging). With ideas of verifiable behavioral modularity and a firm understanding of the hardware tools required to implement them, we are closer to identifying the components required to flexibly program the exchange of work between machines and their environment. Knowing how to combine and sequence stable basins to solve arbitrarily complex tasks will result in improved foundations for robotics as it goes from ad-hoc practice to science (with predictive theories) in the next few decades

The predictive functional control and the management of constraints in GUANAY II autonomous underwater vehicle actuators

Autonomous underwater vehicle control has been a topic of research in the last decades. The challenges addressed vary depending on each research group's interests. In this paper, we focus on the predictive functional control (PFC), which is a control strategy that is easy to understand, install, tune, and optimize. PFC is being developed and applied in industrial applications, such as distillation, reactors, and furnaces. This paper presents the rst application of the PFC in autonomous underwater vehicles, as well as the simulation results of PFC, fuzzy, and gain scheduling controllers. Through simulations and navigation tests at sea, which successfully validate the performance of PFC strategy in motion control of autonomous underwater vehicles, PFC performance is compared with other control techniques such as fuzzy and gain scheduling control. The experimental tests presented here offer effective results concerning control objectives in high and intermediate levels of control. In high-level point, stabilization and path following scenarios are proven. In the intermediate levels, the results show that position and speed behaviors are improved using the PFC controller, which offers the smoothest behavior. The simulation depicting predictive functional control was the most effective regarding constraints management and control rate change in the Guanay II underwater vehicle actuator. The industry has not embraced the development of control theories for industrial systems because of the high investment in experts required to implement each technique successfully. However, this paper on the functional predictive control strategy evidences its easy implementation in several applications, making it a viable option for the industry given the short time needed to learn, implement, and operate, decreasing impact on the business and increasing immediacy.Peer ReviewedPostprint (author's final draft

Point-actuated feedback control of multidimensional interfaces

We consider the application of feedback control strategies with point actuators to stabilise desired interface shapes. We take a multidimensional Kuramoto--Sivashinsky equation as a test case; this equation arises in the study of thin liquid films, exhibiting a wide range of dynamics in different parameter regimes, including unbounded growth and full spatiotemporal chaos. In the case of limited observability, we utilise a proportional control strategy where forcing at a point depends only on the local observation. We find that point-actuated controls may inhibit unbounded growth of a solution, if they are sufficient in number and in strength, and can exponentially stabilise the desired state. We investigate actuator arrangements, and find that the equidistant case is optimal, with heavy penalties for poorly arranged actuators. We additionally consider the problem of synchronising two chaotic solutions using proportional controls. In the case when the full interface is observable, we construct feedback gain matrices using the linearised dynamics. Such controls improve on the proportional case, and are applied to stabilise non-trivial steady and travelling wave solutions