scholarly journals Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses

2013 ◽  
Vol 6 (1) ◽  
pp. 150-160
Author(s):  
Adrien Champion ◽  
Rémi Delmas ◽  
Michael Dierkes ◽  
Pierre-loic Garoche ◽  
Romain Jobredeaux ◽  
...  
Keyword(s):  
Control Systems ◽  
Formal Methods ◽  
Non Linear ◽  
Systems Models

scholarly journals Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses

2013 ◽  
pp. 1-16 ◽  
Author(s):  
Adrien Champion ◽  
Rémi Delmas ◽  
Michael Dierkes ◽  
Pierre-Loïc Garoche ◽  
Romain Jobredeaux ◽  
...  
Keyword(s):  
Control Systems ◽  
Formal Methods ◽  
Non Linear ◽  
Systems Models

scholarly journals Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems

IEEE Access ◽  
2018 ◽  
Vol 6 ◽  
pp. 70426-70443 ◽  
Author(s):  
Raja Oueslati ◽  
Olfa Mosbahi ◽  
Mohamed Khalgui ◽  
Zhiwu Li ◽  
Ting Qu
Keyword(s):  
Control Systems ◽  
Formal Methods ◽  
Reconfigurable Control

Modified maximum principle for non-linear open-loop PFM control systems

1979 ◽  
Vol 29 (6) ◽  
pp. 1067-1076 ◽  
Author(s):  
S. ELGAZZAR ◽  
S. ONYSHKO
Keyword(s):  
Maximum Principle ◽  
Control Systems ◽  
Open Loop ◽  
Non Linear

scholarly journals Manifold Calculus in System Theory and Control—Fundamentals and First-Order Systems

Symmetry ◽  
2021 ◽  
Vol 13 (11) ◽  
pp. 2092
Author(s):  
Simone Fiori
Keyword(s):  
Control Systems ◽  
Linear Systems ◽  
Linear Control Systems ◽  
First Order ◽  
Curved Manifolds ◽  
Non Linear ◽  
Covariant Derivation ◽  
Non Linear Systems ◽  
And Control

The aim of the present tutorial paper is to recall notions from manifold calculus and to illustrate how these tools prove useful in describing system-theoretic properties. Special emphasis is put on embedded manifold calculus (which is coordinate-free and relies on the embedding of a manifold into a larger ambient space). In addition, we also consider the control of non-linear systems whose states belong to curved manifolds. As a case study, synchronization of non-linear systems by feedback control on smooth manifolds (including Lie groups) is surveyed. Special emphasis is also put on numerical methods to simulate non-linear control systems on curved manifolds. The present tutorial is meant to cover a portion of the mentioned topics, such as first-order systems, but it does not cover topics such as covariant derivation and second-order dynamical systems, which will be covered in a subsequent tutorial paper.

Sign in / Sign up

Export Citation Format

Share Document