Robust gain-scheduled autopilot design with anti-windup compensation for a guided projectile

This article deals with the control design of a dual-spin projectile concept, characterized by highly nonlinear parameter-dependent and coupled dynamics, and subject to uncertainties and actuator saturations. An open-loop nonlinear model stemming from flight mechanics is first developed. It is subsequently linearized and decomposed into a...

Fencing off unwanted behavior: Improving and evaluating the Fency static analysis tool

Computer architectures with weak memory models, such as ARMv8 and ARMv7, allow memory accesses to be reordered in many situations.<br/>Therefore, weak memory models may cause a program to exhibit more behavior than a strong memory model, such as x86.<br/>Fency is a static analysis tool that inserts memory fences to ensure that a program exhibits...

Grounds for Trust: Essential Epistemic Opacity and Computational Reliabilism

Several philosophical issues in connection with computer simulations rely on the assumption that results of simulations are trustworthy. Examples of these include the debate on the experimental role of computer simulations (Parker in Synthese 169(3):483–496, 2009; Morrison in Philos Stud 143(1):33–57, 2009), the nature of computer data ...

Analysis and control of uncertain systems by using robust semi-definite programming