Robust noise attenuation under stochastic noises and worst-case unmodelled dynamics Araz Hashemi, Ben Fitzpatrick, Le Yi Wang & George Yin a Department of Mathematics, Wayne State University, Detroit, MI, USA b Department of Mathematics, Loyola Marymount University, Los Angeles, CA, USA c Tempest Technologies, Los Angeles, CA, USA d Department of Electrical and Computer Engineering, Wayne State...

A system dynamics model of energy transition, TEMPEST, represents political and societal factors along with energy, emissions mitigation measures, within a feedbacks. TEMPEST simulates transition from 1980 to 2080, calibrated UK historical data. An exogenous uncertainty analysis showed most cases would achieve net zero before but only 20% stay the required carbon budget. Low probability, high i...

There is now abundant evidence that Freud was correct in believing Edward de Vere (1550-1604) wrote under the pseudonym "William Shakespeare." One common reaction is "What difference does it make?" I address that question by examining many significant connections between de Vere's life and The Tempest. Such studies promise to bring our understanding of Shakespeare's works back into line with ou...

We present Tempest, a synthesis tool to automatically create correct-by-construction reactive systems and shields from qualitative or quantitative specifications in probabilistic environments. A shield is special type of system used for run-time enforcement; i.e., enforces given specification running while interfering with its operation as little possible. Shields that enforce are called safety...