The document proposes continuous finite-time stabilizing controllers for the translational and rotational double integrator systems. It begins by introducing the problem and motivation for developing continuous finite-time controllers. It then presents a controller for the translational double integrator that renders the origin globally finite-time stable. The controller is modified to produce bounded feedback and avoid issues like unwinding. Finally, the controller is adapted for the rotational double integrator to stabilize angular position while avoiding unwinding through periodicity in the feedback law.
We present a class of continuous, bounded, finite-time stabilizing controllers for the tranlational and double integrator based on Bhat and Bernstein's work of IEEE Transactions on Automatic Control, Vol. 43, No. 5, May 1998
Equation of motion of a variable mass system1Solo Hermelin
This is the first of three presentations (the easiest one) for derivation of equations of motions of a variable mass system containing moving solids (rotors, pistons,..) and elastic parts. Each presentation uses a different method of derivation.
The presentation is at undergraduate (physics, engineering) level.
Please sent comments for improvements to solo.hermelin@gmail.com. Thanks!
For more presentations on different subjects please visit my website at http://www.solohermelin.com.
single degree of freedom systems forced vibrations KESHAV
SDOF, Forced vibration
includes following content
Forced vibrations of longitudinal and torsional systems,
Frequency Response to harmonic excitation,
excitation due to rotating and reciprocating unbalance,
base excitation, magnification factor,
Force and Motion transmissibility,
Quality Factor.
Half power bandwidth method,
Critical speed of shaft having single rotor of undamped systems.
We present a class of continuous, bounded, finite-time stabilizing controllers for the tranlational and double integrator based on Bhat and Bernstein's work of IEEE Transactions on Automatic Control, Vol. 43, No. 5, May 1998
Equation of motion of a variable mass system1Solo Hermelin
This is the first of three presentations (the easiest one) for derivation of equations of motions of a variable mass system containing moving solids (rotors, pistons,..) and elastic parts. Each presentation uses a different method of derivation.
The presentation is at undergraduate (physics, engineering) level.
Please sent comments for improvements to solo.hermelin@gmail.com. Thanks!
For more presentations on different subjects please visit my website at http://www.solohermelin.com.
single degree of freedom systems forced vibrations KESHAV
SDOF, Forced vibration
includes following content
Forced vibrations of longitudinal and torsional systems,
Frequency Response to harmonic excitation,
excitation due to rotating and reciprocating unbalance,
base excitation, magnification factor,
Force and Motion transmissibility,
Quality Factor.
Half power bandwidth method,
Critical speed of shaft having single rotor of undamped systems.
Equation of motion of a variable mass system2Solo Hermelin
This is the second of three presentations (self content) for derivation of equations of motions of a variable mass system containing moving solids (rotors, pistons,..) and elastic parts. It uses the Reynolds' Transport Theorem. It is recommended to see the first presentation before this one. Each presentation uses a different method of derivation.
The presentation is at undergraduate (physics, engineering) level.
Please sent comments for improvements to solo.hermelin@gmail.com. Thanks!
For more presentations on different subjects please visit my website at http://www.solohermelin.com
Stochastic Processes describe the system derived by noise.
Level of graduate students in mathematics and engineering.
Probability Theory is a prerequisite.
For comments please contact me at solo.hermelin@gmail.com.
For more presentations on different subjects visit my website at http://www.solohermelin.com.
Single degree of freedom system free vibration part -i and iiSachin Patil
Dynamics of Machinery Unit -I ( SPPU Pune) Single Degree of Freedom Free Vibration - Fundamentals of Vibration , Determination of natural Frequency , Problems on Spring in Series and Parallel , Problems on Equilibrium and Energy Method
Presents the Earth Gravitation Model used in Navigation.
Please send comments to solo.herme;in@gmail.com.
For more presentation please visit my website at http://www.solohermelin.com.
Equation of motion of a variable mass system2Solo Hermelin
This is the second of three presentations (self content) for derivation of equations of motions of a variable mass system containing moving solids (rotors, pistons,..) and elastic parts. It uses the Reynolds' Transport Theorem. It is recommended to see the first presentation before this one. Each presentation uses a different method of derivation.
The presentation is at undergraduate (physics, engineering) level.
Please sent comments for improvements to solo.hermelin@gmail.com. Thanks!
For more presentations on different subjects please visit my website at http://www.solohermelin.com
Stochastic Processes describe the system derived by noise.
Level of graduate students in mathematics and engineering.
Probability Theory is a prerequisite.
For comments please contact me at solo.hermelin@gmail.com.
For more presentations on different subjects visit my website at http://www.solohermelin.com.
Single degree of freedom system free vibration part -i and iiSachin Patil
Dynamics of Machinery Unit -I ( SPPU Pune) Single Degree of Freedom Free Vibration - Fundamentals of Vibration , Determination of natural Frequency , Problems on Spring in Series and Parallel , Problems on Equilibrium and Energy Method
Presents the Earth Gravitation Model used in Navigation.
Please send comments to solo.herme;in@gmail.com.
For more presentation please visit my website at http://www.solohermelin.com.
This slides is the best source for you, if you want to know how to
-Build a strong completed profile.
-Brand and position yourself
-Measure your success on linkedin.
-Avoid the common mistakes.
-Connect with the decision makers.
Check this slides, and if you have any questions please leave a comment or send me.
Z Transform And Inverse Z Transform - Signal And SystemsMr. RahüL YøGi
The z-transform is the most general concept for the transformation of discrete-time series.
The Laplace transform is the more general concept for the transformation of continuous time processes.
For example, the Laplace transform allows you to transform a differential equation, and its corresponding initial and boundary value problems, into a space in which the equation can be solved by ordinary algebra.
The switching of spaces to transform calculus problems into algebraic operations on transforms is called operational calculus. The Laplace and z transforms are the most important methods for this purpose.
APPROXIMATE CONTROLLABILITY RESULTS FOR IMPULSIVE LINEAR FUZZY STOCHASTIC DIF...ijfls
In this paper, the approximate controllability of impulsive linear fuzzy stochastic differential equations with nonlocal conditions in Banach space is studied. By using the Banach fixed point
theorems, stochastic analysis, fuzzy process and fuzzy solution, some sufficient conditions are given for
the approximate controllability of the system.
APPROXIMATE CONTROLLABILITY RESULTS FOR IMPULSIVE LINEAR FUZZY STOCHASTIC DIF...Wireilla
In this paper, the approximate controllability of impulsive linear fuzzy stochastic differential equations with nonlocal conditions in Banach space is studied. By using the Banach fixed point theorems, stochastic analysis, fuzzy process and fuzzy solution, some sufficient conditions are given for the approximate controllability of the system.
This paper studies an approximate dynamic programming (ADP) strategy of a group of nonlinear switched systems, where the external disturbances are considered. The neural network (NN) technique is regarded to estimate the unknown part of actor as well as critic to deal with the corresponding nominal system. The training technique is simul-taneously carried out based on the solution of minimizing the square error Hamilton function. The closed system’s tracking error is analyzed to converge to an attraction region of origin point with the uniformly ultimately bounded (UUB) description. The simulation results are implemented to determine the effectiveness of the ADP based controller.
Controller design of inverted pendulum using pole placement and lqreSAT Publishing House
IJRET : International Journal of Research in Engineering and Technology is an international peer reviewed, online journal published by eSAT Publishing House for the enhancement of research in various disciplines of Engineering and Technology. The aim and scope of the journal is to provide an academic medium and an important reference for the advancement and dissemination of research results that support high-level learning, teaching and research in the fields of Engineering and Technology. We bring together Scientists, Academician, Field Engineers, Scholars and Students of related fields of Engineering and Technology.
Controller design of inverted pendulum using pole placement and lqreSAT Journals
Abstract In this paper modeling of an inverted pendulum is done using Euler – Lagrange energy equation for stabilization of the pendulum. The controller gain is evaluated through state feedback and Linear Quadratic optimal regulator controller techniques and also the results for both the controller are compared. The SFB controller is designed by Pole-Placement technique. An advantage of Quadratic Control method over the pole-placement techniques is that the former provides a systematic way of computing the state feedback control gain matrix.LQR controller is designed by the selection on choosing. The proposed system extends classical inverted pendulum by incorporating two moving masses. The motion of two masses that slide along the horizontal plane is controllable .The results of computer simulation for the system with Linear Quardatic Regulator (LQR) & State Feedback Controllers are shown in section 6. Keyword-Inverted pendulum, Mathematical modeling Linear-quadratic regulator, Response, State Feedback controller, gain formulae.
Enchancing adoption of Open Source Libraries. A case study on Albumentations.AIVladimir Iglovikov, Ph.D.
Presented by Vladimir Iglovikov:
- https://www.linkedin.com/in/iglovikov/
- https://x.com/viglovikov
- https://www.instagram.com/ternaus/
This presentation delves into the journey of Albumentations.ai, a highly successful open-source library for data augmentation.
Created out of a necessity for superior performance in Kaggle competitions, Albumentations has grown to become a widely used tool among data scientists and machine learning practitioners.
This case study covers various aspects, including:
People: The contributors and community that have supported Albumentations.
Metrics: The success indicators such as downloads, daily active users, GitHub stars, and financial contributions.
Challenges: The hurdles in monetizing open-source projects and measuring user engagement.
Development Practices: Best practices for creating, maintaining, and scaling open-source libraries, including code hygiene, CI/CD, and fast iteration.
Community Building: Strategies for making adoption easy, iterating quickly, and fostering a vibrant, engaged community.
Marketing: Both online and offline marketing tactics, focusing on real, impactful interactions and collaborations.
Mental Health: Maintaining balance and not feeling pressured by user demands.
Key insights include the importance of automation, making the adoption process seamless, and leveraging offline interactions for marketing. The presentation also emphasizes the need for continuous small improvements and building a friendly, inclusive community that contributes to the project's growth.
Vladimir Iglovikov brings his extensive experience as a Kaggle Grandmaster, ex-Staff ML Engineer at Lyft, sharing valuable lessons and practical advice for anyone looking to enhance the adoption of their open-source projects.
Explore more about Albumentations and join the community at:
GitHub: https://github.com/albumentations-team/albumentations
Website: https://albumentations.ai/
LinkedIn: https://www.linkedin.com/company/100504475
Twitter: https://x.com/albumentations
Unlocking Productivity: Leveraging the Potential of Copilot in Microsoft 365, a presentation by Christoforos Vlachos, Senior Solutions Manager – Modern Workplace, Uni Systems
Securing your Kubernetes cluster_ a step-by-step guide to success !KatiaHIMEUR1
Today, after several years of existence, an extremely active community and an ultra-dynamic ecosystem, Kubernetes has established itself as the de facto standard in container orchestration. Thanks to a wide range of managed services, it has never been so easy to set up a ready-to-use Kubernetes cluster.
However, this ease of use means that the subject of security in Kubernetes is often left for later, or even neglected. This exposes companies to significant risks.
In this talk, I'll show you step-by-step how to secure your Kubernetes cluster for greater peace of mind and reliability.
Alt. GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using ...James Anderson
Effective Application Security in Software Delivery lifecycle using Deployment Firewall and DBOM
The modern software delivery process (or the CI/CD process) includes many tools, distributed teams, open-source code, and cloud platforms. Constant focus on speed to release software to market, along with the traditional slow and manual security checks has caused gaps in continuous security as an important piece in the software supply chain. Today organizations feel more susceptible to external and internal cyber threats due to the vast attack surface in their applications supply chain and the lack of end-to-end governance and risk management.
The software team must secure its software delivery process to avoid vulnerability and security breaches. This needs to be achieved with existing tool chains and without extensive rework of the delivery processes. This talk will present strategies and techniques for providing visibility into the true risk of the existing vulnerabilities, preventing the introduction of security issues in the software, resolving vulnerabilities in production environments quickly, and capturing the deployment bill of materials (DBOM).
Speakers:
Bob Boule
Robert Boule is a technology enthusiast with PASSION for technology and making things work along with a knack for helping others understand how things work. He comes with around 20 years of solution engineering experience in application security, software continuous delivery, and SaaS platforms. He is known for his dynamic presentations in CI/CD and application security integrated in software delivery lifecycle.
Gopinath Rebala
Gopinath Rebala is the CTO of OpsMx, where he has overall responsibility for the machine learning and data processing architectures for Secure Software Delivery. Gopi also has a strong connection with our customers, leading design and architecture for strategic implementations. Gopi is a frequent speaker and well-known leader in continuous delivery and integrating security into software delivery.
Pushing the limits of ePRTC: 100ns holdover for 100 daysAdtran
At WSTS 2024, Alon Stern explored the topic of parametric holdover and explained how recent research findings can be implemented in real-world PNT networks to achieve 100 nanoseconds of accuracy for up to 100 days.
DevOps and Testing slides at DASA ConnectKari Kakkonen
My and Rik Marselis slides at 30.5.2024 DASA Connect conference. We discuss about what is testing, then what is agile testing and finally what is Testing in DevOps. Finally we had lovely workshop with the participants trying to find out different ways to think about quality and testing in different parts of the DevOps infinity loop.
Essentials of Automations: The Art of Triggers and Actions in FMESafe Software
In this second installment of our Essentials of Automations webinar series, we’ll explore the landscape of triggers and actions, guiding you through the nuances of authoring and adapting workspaces for seamless automations. Gain an understanding of the full spectrum of triggers and actions available in FME, empowering you to enhance your workspaces for efficient automation.
We’ll kick things off by showcasing the most commonly used event-based triggers, introducing you to various automation workflows like manual triggers, schedules, directory watchers, and more. Plus, see how these elements play out in real scenarios.
Whether you’re tweaking your current setup or building from the ground up, this session will arm you with the tools and insights needed to transform your FME usage into a powerhouse of productivity. Join us to discover effective strategies that simplify complex processes, enhancing your productivity and transforming your data management practices with FME. Let’s turn complexity into clarity and make your workspaces work wonders!
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Albert Hoitingh
In this session I delve into the encryption technology used in Microsoft 365 and Microsoft Purview. Including the concepts of Customer Key and Double Key Encryption.
Climate Impact of Software Testing at Nordic Testing DaysKari Kakkonen
My slides at Nordic Testing Days 6.6.2024
Climate impact / sustainability of software testing discussed on the talk. ICT and testing must carry their part of global responsibility to help with the climat warming. We can minimize the carbon footprint but we can also have a carbon handprint, a positive impact on the climate. Quality characteristics can be added with sustainability, and then measured continuously. Test environments can be used less, and in smaller scale and on demand. Test techniques can be used in optimizing or minimizing number of tests. Test automation can be used to speed up testing.
A tale of scale & speed: How the US Navy is enabling software delivery from l...sonjaschweigert1
Rapid and secure feature delivery is a goal across every application team and every branch of the DoD. The Navy’s DevSecOps platform, Party Barge, has achieved:
- Reduction in onboarding time from 5 weeks to 1 day
- Improved developer experience and productivity through actionable findings and reduction of false positives
- Maintenance of superior security standards and inherent policy enforcement with Authorization to Operate (ATO)
Development teams can ship efficiently and ensure applications are cyber ready for Navy Authorizing Officials (AOs). In this webinar, Sigma Defense and Anchore will give attendees a look behind the scenes and demo secure pipeline automation and security artifacts that speed up application ATO and time to production.
We will cover:
- How to remove silos in DevSecOps
- How to build efficient development pipeline roles and component templates
- How to deliver security artifacts that matter for ATO’s (SBOMs, vulnerability reports, and policy evidence)
- How to streamline operations with automated policy checks on container images
GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using Deplo...James Anderson
Effective Application Security in Software Delivery lifecycle using Deployment Firewall and DBOM
The modern software delivery process (or the CI/CD process) includes many tools, distributed teams, open-source code, and cloud platforms. Constant focus on speed to release software to market, along with the traditional slow and manual security checks has caused gaps in continuous security as an important piece in the software supply chain. Today organizations feel more susceptible to external and internal cyber threats due to the vast attack surface in their applications supply chain and the lack of end-to-end governance and risk management.
The software team must secure its software delivery process to avoid vulnerability and security breaches. This needs to be achieved with existing tool chains and without extensive rework of the delivery processes. This talk will present strategies and techniques for providing visibility into the true risk of the existing vulnerabilities, preventing the introduction of security issues in the software, resolving vulnerabilities in production environments quickly, and capturing the deployment bill of materials (DBOM).
Speakers:
Bob Boule
Robert Boule is a technology enthusiast with PASSION for technology and making things work along with a knack for helping others understand how things work. He comes with around 20 years of solution engineering experience in application security, software continuous delivery, and SaaS platforms. He is known for his dynamic presentations in CI/CD and application security integrated in software delivery lifecycle.
Gopinath Rebala
Gopinath Rebala is the CTO of OpsMx, where he has overall responsibility for the machine learning and data processing architectures for Secure Software Delivery. Gopi also has a strong connection with our customers, leading design and architecture for strategic implementations. Gopi is a frequent speaker and well-known leader in continuous delivery and integrating security into software delivery.
2. 1
Introduction
Feedback linearization often generates closed-loop Lipschitzian dynamics
Convergence in such systems is often exponential, carrying the burden of infinite settling time
Undesirable in time-critical applications such as minimum-energy control, conservation of momentum et cetera
It is therefore imperative to design continuous finite-time stabilizing controllers
Classical optimal control provides examples of systems that converge to the equilibrium in finite time such as the
double integrator.
2
The case for continuous finite-time stabilizing (FTS) con-
trollers?
Optimal synthesis methods such as the bang-bang time-optimal feedback control of the double integrator
has discontinuous dynamics which leads to chattering or excitation of HF dynamics in flexible structures
applications [Fuller et. al., ’66]
The double integrator is open-loop controllable such that its states can be driven to the origin in finite time
The minimum-energy control is one such method which drives the state of the system ¨x = u from an
initial condition x(0) = x0, ˙x(0) = y0 to the origin in a given time tf [Athans, ’66]
But such open-loop methods invite insensitivity to uncertainties and have poor disturbance rejection
3. Non-Lipschitzian Dynamics of a Continuous FTS Feedback Controller
1
Overview of Problem
The design of FTS continuous time-invariant feedback controllers involve non-Lipschitzian closed-loop dynamics
Such controllers will exhibit non-unique solutions in backward time, i.e., better robustness and good disturbance
rejection
Such non-unique (revert time) solutions would violate uniqueness conditions for Lipschitz differential equations
2
Statement of Problem
Consider a rigid body rotating under the action of a mechanical torque about a fixed axis
Its equations of motion resemble those of a double integrator. States differ by 2nπ (where
n = 0, 1, 2, . . .) in angular modes which correspond to the same physical configuration of the body.
State space for this system is S1
× R rather than R2
[Andronov et. al]
Developing stabilizing controls for the double integrator on R2
(translational double integrator) will lead to
unwinding since the configuration space is actually R
This makes an interesting problem when designing feedback controllers for the rotational double
integrator with anti-wind-up compensation
Discontinuous feedback controllers are practically infeasible due to the chattering they introduce
because of plant uncertainties
They could also excite high-frequency dynamics when used in controlling lightly damped structures
[Baruh et. al.]
4. 1
Finite-Time Stabilization: A Definition
For the System of differential equations,
˙y(t) = f(y(t) (1)
where f : D → Rn
is continuous on an open neighborhood D ⊆ Rn
of the origin and f(0) = 0. A continuously differentiable
function y : I → D is said to be a solution of 1 on the interval I ⊂ R if y satisfies (1) for all t ∈ I
We assume (1) possesses unique solutions in forward time except possibly at the origin for all initial conditions
Uniqueness in forward time and the continuity of f ensure that solutions are continuous functions of initial conditions
even when f is no longer Lipschitz continuous [Hartman et. al., ’82, Th. 2.1, p. 94]
2
Definition
The origin is finite-time stable if there exists an open neighborhood N ⊆ D of the origin and a settling time
function T : N 0 → (0, ∞), such that we have the following:
1. Finite-time convergence: For every x ∈ N {0}, ρt (x) is defined for
t ∈ 0, T(x) , ρt (x) ∈ N {0}, for t ∈ 0, T(x) , and limt→T(x)ρt (x) = 0
2. Lyapunov stability: For every open set U such that 0 ∈ U ⊆ N , there exists an open set Uδ such
that 0 ∈ Uδ ⊆ N and for every x ∈ Uδ {0}, ρt (x) ∈ U• for t ∈ 0, T(x) .
When D = N = Rn
, we have global finite-time convergence.
Theorem: For a continuously differentiable function V : D → R, such that k > 0, α ∈ (0, 1) , where α and k ∈ R if there
exists a neighborhood of the origin U ⊂ D such that V is positive definite, ˙V is negative definite and ˙V + kVα
is negative
semi-definite on U, where ˙V(x) =
∂V
∂x
(x)f(x). Then, the origin of (1) is finite-time stable. Also, the settling time, T(x) is
defined as T(x) =
1
k(1 − α)
V(x)1−α
5. 1
Continuous Finite-Time Stabilizing Controllers
We want to find a continuous feedback law, u = ψ(x, y) such that the double integrator defined as, ˙x = y, ˙y = u is
finite-time stabilized.
2
Proposition 1
The origin of the double integrator is globally finite-time stable [Bhat et. al., ’98, §III] under the feedback control
law u where
ψ(x, y) = −sign (y)|y|
α
− sign φα (x, y) φα (x, y)
α
2 − α (2)
where φα(x, y) x +
1
2 − α
sign(y)|y|
α
2 − α
See Appendix A. for proof.
3
Remarks
The vector field obtained by using the feedback control law u is locally Lipschitz everywhere except
the x-axis (denoted Γ ), and the zero-level set S = {(x, y) : φα(x, y) = 0} of the function φα. The
closed-loop vector field fα is transversal to Γ at every point in Γ {0, 0}
Every initial condition in Γ {0, 0} has a unique solution in forward time
The set S is positively invariant for the closed-loop system
On the set S the closed-loop system is
˙x = −sign (x) (2 − α)|x|
1
2−α (3)
˙y = −sign (y)|y|
α
(4)
The resulting closed loop system (4) is locally Lipschitz everywhere except the origin and therefore
possesses unique solutions in forward time for initial conditions in S {0, 0}.
6. 1
Example 1: Implementation of the proposed controller
By choosing α = 2
3
in (2), we have the phase portrait shown in Figure 6 for the resulting feedback law
ψ(x, y) = −y
2
3 − x +
3
4
y
4
3
1
2
(5)
We see that all trajectories converge to the set S = {(x, y) : x + 3
4
y
4
3 = 0} in finite-time. The term −y
2
3 in (5) makes the
set S positively invariant while the other term − x + 3
4
y
4
3
1
2
drives the states to S in finite-time. Therefore, (2) represents
an example of a terminal sliding mode control without using discontinuous or high gain feedback.
7. 1
Bounded Continuous Finite-Time Controllers
In the previous section, the designed feedback controller is unbounded, meaning the controller will lead to the so-called
”unwinding” phenomenon.
In a spacecraft application, for example, such unwinding can lead to the mismanagement of fuel and and
momentum-consuming devices
In order to finite-time stabilize the controller, we saturate the elements of the controller given in (2)
It follows that for a positive number ε,
satε (y) = y, |y| < ε (6)
= ε sign (y) , |y| ≥ ε
such that satε (y) ≤ ε for all y ∈ R (7)
The relation in (7) ensures that the controller does not operate in the nonlinear region by bounding its operating range within
the defined perimeter of operation (6)
1
Proposition 2
The origin of the double integrator system is a globally stable equilibrium under the bounded feedback control law u =
ψ (x, y) with
ψsat (x, y) = −satε {sign (y)|y|
α
} − {satε sign φα (x, y) φα (x, y)
α
2 − α } (8)
for every α ∈ (0, 1) and ε > 0, where φα(x, y) x +
1
2 − α
sign(y)|y|
α
2 − α
See Proof in [Bhat et. al., ’98, §IV, p. 680].
8. 1
Example 2: Bounded continuous finite time controller
For the double integrator under the feedback control law
ψsat (x, ) = −sat1(y
1
3 ) − sat1{(x +
3
5
y
5
3 )}
1
5 (9)
obtained from (2) with α = 1
3
and ε = 1. Again, all trajectories converge to the set S = {(x, y) : x + 3
5
y
5
3 = 0}. But in
some phase plane regions, ψsat (x, ) = 0.
9. 1
The Rotational Double Integrator
Let us denote the motion of a rigid body rotating about a fixed axis with unit moment of inertia as
¨θ(t) = u(t) (10)
where θ is the angular displacement from some reference and u is the applied control. We can rewrite the equation as a
first-order equation with ˙x = θ and ˙y = u.
Suppose we require the angular position to be finite-time stable, then the feedback law given in (2) can only
finite-time stabilize the origin such that if applied to the rotational double integrator, it leads to the unwinding
phenomenon.
Feedback controllers designed for the translational double integrator does not suffice for the rotational double
integrator
How to avoid the unwinding phenomenon?
Modify (2) such that it is periodic in x with period 2π, i.e.,
ψrot (x, y) = −sign (y)|y|
α
− sign (sin(φα(x, y))) sin(φα(x, y))
α
2−α (11)
φα is same as defined in Proposition 1. For α = 1
3
with u = ψrot the resulting phase portrait is shown below
10. 1
Remarks from Phase Portrait of Rotational Double Integrator
The closed loop system has equilibrium points at sn = (2nπ, 0), un = ((2n + 1)π, 0), n = · · · , −1, 0, 1, · · ·
The equilibrium points sn are locallu finite-time stable in forward time, while the points un are finite-time saddles
The domain of attraction of the equilibrium point s is Dn = {(x, y) : (2n − 1)π < φα(x, y) < (2n + 1)π}.
The shaded region of the plot shows a portion of D0. The sets Un−1 and Un represent the stable manifolds of the
equilibrium points un−1 and un respectively where Un = {(x, y) : φα(x, y) = (2n + 1)π} and
n = · · · , −1, 0, 1, · · · ,
All trajectories starting in the set Dn converge to the set Sn = {(x, y) : φα(x, y) = 2nπ} in finite, forward time
and to the set Un−1 ∪ Un in finite, reverse time
The sets Sn are positively invariant while the sets Un are negatively invariant
2
The solutions in the figure have no uniqueness to initial conditions lying in any of the sets
Un, n = · · · , −1, 0, 1, · · ·.
All solutions initialized in un are equivalent to the rigid body resting in an unstable configuration and then
starting to move spontaneously clockwise or counterclockwise
Departure from the unstable equilibrium is a unique feature to non-Lipschitzian systems as Lipschitzian
systems do not possess solutions that depart from equilibrium
The desired final configuration is however not globally finite-time stable due to the presence of the
unstable equilibrium configuration at θ = π. These are saddle points un, n = · · · , −1, 0, 1, · · ·
This is a basic drawback to every continuous feedback controller that stabilizes the rotational double
integrator without generating the unwinding effect.
The desired final configuration in the phase plane corresponds to multiple equilibria in the phase plane
meaning every controller that stabilizes the desired configuration stabilizes each equilibria
But stability, continuous dependence on initial conditions and solutions’ uniqueness imply that the
domain of attraction of any two equilibrium points in the plane are non-empty, open and disjoint.
11. 1
We cannot write R2
as the union of a collection of disjoint sets.
Thus, there are initial conditions in the plane that do not converge to the equilibria of the desired final configuration.
With respect to (11), these initial conditions are the stable manifolds of the unstable configuration.
The designed controller is practically globally stable as its non-Lipschitzian property increases the sensitivity of the
unstable configuration to perturbations
1
Appendix A: Proof of Proposition 1
If we denote φα(x, y) by φα and fix α ∈ (0, 1), we could choose the C2
Lyapunov function candidate,
V (x, y) =
2 − α
3 − α
|φα|
3 − α
2 − α + syφα +
r
3 − α
|y|
3−α
(12)
where r and s are positive numbers. Along the closed loop trajectories,
˙V (x, y) = sφα ˙y + r|y|
2−α
˙y + sy ˙φα +|φα|
1
2 − α ˙φα = sφα
−sign (y)|y|
α
− sign (φα)|φα|
α
2 − α
+ r|y|
2−α
(13)
+|φα|
1
2 − α ˙φα
But, ˙φα = ˙x + ˙y sign (y) |y|
1−α
(14)
from (2), it therefore follows that,
12. 1
Continuation of Proof of Proposition 1
˙φα = −sign (y) sign (φα)|y|1−α
|φα|
α
2−α (15)
Putting (14) into (13), and noting that
sy ˙φα = −s sign (yφα)|y|
1−α
|φα|
1 + α
2 − α (16)
and ˙φα|φα|
1
2−α = −sign (y) sign (φα) |y|
1−α
|φα|
1 + α
2 − α (17)
we find that,
(18)˙V (x, y) = −ry
2
− s|φα|
2
2−α −|y|
1−α
|φα|
1+α
2−α − sφαsign (y)|y|
α
− (r + s)sign(yφα)|y|
2−α
|φα|
α
2−α
1
Remarks
The obtained Lyapunov derivative in the foregoing is continuous everywhere since α ∈ (0, 1). For k > 0 and (x, y) ∈ R2
the following holds,
Introduce x = k2−α
, y = ky such that
13. 1
Remarks
(19)
φα(k
2−α
x, ky) = k
2−α
x −
1
2 − α
sign(ky)|ky|
2−α
= k
2−α
φα(x, y))
and
(20)V(k
2−α
x, ky) =
2 − α
3 − α
φα(k
2−α
x, ky)
3 − α
2 − α + skyφα(k
2−α
x, ky) +
r
3 − α
|ky|
3−α
such that (21)V(k
2−α
x, ky) = k
3−α
V(x, y)
Following a similar logic as in (20), we find that
(22)˙V(k
2−α
x, ky) = k
2 ˙V(x, y)
The results of the previous section imply that for r > 1 and s < 1, both V and ˙V are positive on the set O =
{(x, y) : max(x,y)=(0,0)|φα|
1
2−α ,|y| = 1} which is a closed curve encircling the origin.
For every (x, y) ∈ R2
{0, 0} there exists k > 0 such that k2−α
x, ky ∈ O, the homogeneity properties of (20) and (22)
imply a positive definite V and negative semi-definite ˙V.
From (20), V is radially unbounded so that the set V = {(x, y) : V(x, y) = 1} is compact. Therefore ˙V achieves its
maximum on the compact set V. If we define c = −max{(x,y)∈V}
˙V(x, y), then ˙V(x, y) ≤ −c{V(x, y)}
2
3−α for all
(x, y) ∈ R2
[Bhat et. al. ’96]
The homogeneity of (20) and (22) ensures ˙V(x, y) ≤ −cV(x, y)
2
3−α for all (x, y) ∈ R2
[Bhat et. al. ’96]. Since α ∈ (0, 1)
is ≡ 2
3−α
∈ (0, 1), we can conclude finite time stability
14. 1
References
A. A. Andronov, A. A. Vitt, and S. E. Khaikin. Theory of Oscillators. Oxford, UK: Pergamon, 1966.
M. Athans and P.L. Falb. Optimal Control: An Introduction to the Theory and Its Applications. McGraw-Hill, New York,
1966.
H. Baruh and S.S.K. Tadikonda. Gibbs phenomenon in structural control. J. Guidance, Contr., and Dynamics. vol.,
no. 1, pp. 51-58, 1991.
S.P. Bhat and D.S. Bernstein. Continuous Finite-Time Stabilization of the Translational and Rotational Double Integra-
tors. IEEE Transactions on Automatic Control. vol. 43., no. 5, 1998
S.P. Bhat and D.S. Bernstein. Continuous, Bounded, Finite-Time Stabilization of the Translational and Rotational
Double Integrators. in Proc. Amer, Contr. Conf., Seattle, WA, June 1996, pp. 1831 - 1832
A. Fuller. Optimization of some nonlinear control systems by means of Bellman’s equation and dimensional analysis.
Int. J. Contr., vol. 3, no. 4, pp. 359–394, 1966.
P. Hartman. Ordinary Differential Equations. 2nd edition, Boston, MA: Birkhauser, 1982.