These include: Nonlinear Control, Distributed Parameter Systems, Large-scale and Complex Systems, Hybrid and Embedded Systems, Software Development, Applications areas: Aerospace and Transportation, Biology and Medicine, Robotics and Intelligent Systems Networking, Coding, Cryptography, Control of Traffic, Quantum Engineering, Financial Engineering, Numerical Analysis and Computational Mathemat...

Modern Aerospace systems are cyber-physical, comprised of physical components but commanded and controlled by “cyber” (computing and communication) elements. It is widely acknowledged that codesign across cyber and physical elements will provide a better-performing holistic system, but few of today’s engineers have adequate preparation to model, optimize, and simulate both. Even working in team...

We discuss the principles of static analysis by abstract interpretation and report on the automatic verification of the absence of runtime errors in large embedded aerospace software by static analysis based on abstract interpretation. The first industrial applications concerned synchronous control/command software in open loop. Recent advances consider imperfectly synchronous programs, paralle...

a long time ago, since the launch of the first artificial satellite in 1957, controling attitude of satellites has been considered by the designers and engineers of aerospace industry. considering the importance of this issue various methods of control in response to this need have been presented and analyzed until now. in this paper, we propose and analyze a three-axis optimal control on the s...

A long time ago, since the launch of the first artificial satellite in 1957, controling attitude of satellites has been considered by the designers and engineers of aerospace industry. Considering the importance of this issue various methods of control in response to this need have been presented and analyzed until now. In this paper, we propose and analyze a three-axis optimal control on the s...