Why do airline computer systems fail? What the industry can learn from meltdowns

Alaska Airlines is the latest airline to ground its planes because of an IT meltdown. We talked to industry leaders about why ...

Scientists build a quantum computer that can repair itself using recycled atoms

Like their conventional counterparts, quantum computers can also break down. They can sometimes lose the atoms they ...
IEEE

An Amplitude Activation Function-Based Model for Behavioral Modeling of Nonlinear Systems

Abstract: Nonlinear models with a linear-in-coefficients property, i.e., the property that the model output is linear with respect to model coefficients, are highly valuable for behavioral modeling of ...
IEEE

Counter-Example Guided Inductive Synthesis of Control Lyapunov Functions for Uncertain Systems

Abstract: We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers for linear systems affected by ...