Alternatives for jet engine control

The development of models of tensor type for a digital simulation of the quiet, clean safe engine (QCSE) gas turbine engine; the extension, to nonlinear multivariate control system design, of the concepts of total synthesis which trace their roots back to certain early investigations under this grant; the role of series descriptions as they relate to questions of scheduling in the control of gas turbine engines; the development of computer-aided design software for tensor modeling calculations; further enhancement of the softwares for linear total synthesis, mentioned above; and calculation of the first known examples using tensors for nonlinear feedback control are discussed

Vibration, Control and Stability of Dynamical Systems

From Preface: This is the fourteenth time when the conference “Dynamical Systems: Theory and Applications” gathers a numerous group of outstanding scientists and engineers, who deal with widely understood problems of theoretical and applied dynamics. Organization of the conference would not have been possible without a great effort of the staff of the Department of Automation, Biomechanics and Mechatronics. The patronage over the conference has been taken by the Committee of Mechanics of the Polish Academy of Sciences and Ministry of Science and Higher Education of Poland. It is a great pleasure that our invitation has been accepted by recording in the history of our conference number of people, including good colleagues and friends as well as a large group of researchers and scientists, who decided to participate in the conference for the first time. With proud and satisfaction we welcomed over 180 persons from 31 countries all over the world. They decided to share the results of their research and many years experiences in a discipline of dynamical systems by submitting many very interesting papers. This year, the DSTA Conference Proceedings were split into three volumes entitled “Dynamical Systems” with respective subtitles: Vibration, Control and Stability of Dynamical Systems; Mathematical and Numerical Aspects of Dynamical System Analysis and Engineering Dynamics and Life Sciences. Additionally, there will be also published two volumes of Springer Proceedings in Mathematics and Statistics entitled “Dynamical Systems in Theoretical Perspective” and “Dynamical Systems in Applications”

Computer Science for Continuous Data:Survey, Vision, Theory, and Practice of a Computer Analysis System

Building on George Boole's work, Logic provides a rigorous foundation for the powerful tools in Computer Science that underlie nowadays ubiquitous processing of discrete data, such as strings or graphs. Concerning continuous data, already Alan Turing had applied "his" machines to formalize and study the processing of real numbers: an aspect of his oeuvre that we transform from theory to practice.The present essay surveys the state of the art and envisions the future of Computer Science for continuous data: natively, beyond brute-force discretization, based on and guided by and extending classical discrete Computer Science, as bridge between Pure and Applied Mathematics

On necessary conditions of instability and design of destabilizing controls

International audienceAbstract--- The problem of formulation of an equivalent characterization for instability is considered. The necessary part of the Chetaev's theorem on instability is formulated. Using the developed necessary instability conditions, the Anti-control Lyapunov Function (ALF) framework from [1] is extended and the Control Chetaev Function (CCF) concept is proposed as a counterpart of the Control Lyapunov function (CLF) theory. A (bounded) control is designed, which destabilizes a nonlinear system based on CCF, this control design approach can be useful either for generation of an oscillating or chaotic behavior as in [1], or for analysis of norm controllability from [2]

On necessary conditions of instability and design of destabilizing controls

International audienceAbstract--- The problem of formulation of an equivalent characterization for instability is considered. The necessary part of the Chetaev's theorem on instability is formulated. Using the developed necessary instability conditions, the Anti-control Lyapunov Function (ALF) framework from [1] is extended and the Control Chetaev Function (CCF) concept is proposed as a counterpart of the Control Lyapunov function (CLF) theory. A (bounded) control is designed, which destabilizes a nonlinear system based on CCF, this control design approach can be useful either for generation of an oscillating or chaotic behavior as in [1], or for analysis of norm controllability from [2]

On necessary conditions of instability and design of destabilizing controls

International audienceAbstract--- The problem of formulation of an equivalent characterization for instability is considered. The necessary part of the Chetaev's theorem on instability is formulated. Using the developed necessary instability conditions, the Anti-control Lyapunov Function (ALF) framework from [1] is extended and the Control Chetaev Function (CCF) concept is proposed as a counterpart of the Control Lyapunov function (CLF) theory. A (bounded) control is designed, which destabilizes a nonlinear system based on CCF, this control design approach can be useful either for generation of an oscillating or chaotic behavior as in [1], or for analysis of norm controllability from [2]

On necessary conditions of instability and design of destabilizing controls

International audienceAbstract--- The problem of formulation of an equivalent characterization for instability is considered. The necessary part of the Chetaev's theorem on instability is formulated. Using the developed necessary instability conditions, the Anti-control Lyapunov Function (ALF) framework from [1] is extended and the Control Chetaev Function (CCF) concept is proposed as a counterpart of the Control Lyapunov function (CLF) theory. A (bounded) control is designed, which destabilizes a nonlinear system based on CCF, this control design approach can be useful either for generation of an oscillating or chaotic behavior as in [1], or for analysis of norm controllability from [2]

Lyapunov-Based Nonlinear Control Strategies for Manipulation of Particles and Biomolecules Using Optical Tweezers

Tweezers-based nanorobots, optical tweezers in particular, are renowned for their exceptional precision, and among their biomedical applications are cellular manipulation, unzipping DNAs, and elongating polypeptide chains. This thesis introduces a series of Lyapunov-based feedback control frameworks that address both stability and controlled instability for biological manipulation, applied within the context of optical tweezers. At the core of this work are novel controllers that stabilize or destabilize specific molecular configurations, enabling fine manipulation of particles like polystyrene beads and tethered polymers under focused laser beams. Chapter 1 covers the foundational principles and surveys existing literature on the modeling and control of optical tweezers, emphasizing gaps in the stability and instability control of molecular systems. Chapter 2 presents a robust Control Lyapunov Function (CLF) approach, designed to stabilize spherical particles under optical trapping. By formulating a smooth, norm-bounded feedback controller, we achieve lateral stabilization despite external disturbances, using a real-time, static nonlinear programming (NLP) solution. Simulations verify the effectiveness of this CLF framework, even with significant initial displacements from the laser focus and under thermal forces modeled as a white Gaussian noise. Chapter 3 addresses controlled instability through a Control Chetaev Function (CCF) framework, specifically targeting protein unfolding applications. Linearization with respect to the control input facilitates the application of destabilizing universal controls for affine- in-control system dynamics. The resulting CCF-based norm-bounded feedback controller induces system instability by laterally extending the trapped DNA handle, thereby increasing the molecular extension and providing insights into protein denaturation and unfolding pathways. This controller is robust to stochastic thermal forces and optimized for real-time computational efficiency. These Lyapunov and Chetaev-based control designs collectively expand the capabilities of optical tweezers, advancing single-molecule manipulation under both stable and unstable conditions. These findings advance precision nanomanipulation, opening new avenues for exploring the molecular mechanics of protein unfolding and DNA elasticity