More Like this

1. Physical interpretation of Newman-Janis rotating systems. II. General systems

   https://doi.org/10.1103/PhysRevD.104.124067  

   Beltracchi, Philip; Gondolo, Paolo (December 2021, Physical Review D)
2. Verification of Cyberphysical Systems

   https://doi.org/10.3390/math8071068  

   Sirjani, Marjan; Lee, Edward A.; Khamespanah, Ehsan (July 2020, Mathematics)

   The value of verification of cyberphysical systems depends on the relationship between the state of the software and the state of the physical system. This relationship can be complex because of the real-time nature and different timelines of the physical plant, the sensors and actuators, and the software that is almost always concurrent and distributed. In this paper, we study different ways to construct a transition system model for the distributed and concurrent software components of a CPS. The purpose of the transition system model is to enable model checking, an established and widely used verification technique. We describe a logical-time-based transition system model, which is commonly used for verifying programs written in synchronous languages, and derive the conditions under which such a model faithfully reflects physical states. When these conditions are not met (a common situation), a finer-grained event-based transition system model may be required. We propose an approach for formal verification of cyberphysical systems using Lingua Franca, a language designed for programming cyberphysical systems, and Rebeca, an actor-based language designed for model checking distributed event-driven systems. We focus on the cyber part and model a faithful interface to the physical part. Our method relies on the assumption that the alignment of different timelines during the execution of the system is the responsibility of the underlying platforms. We make those assumptions explicit and clear. 

   more » « less
3. Complexity of parabolic systems

   https://doi.org/10.1007/s10240-020-00117-x  

   Colding, Tobias Holck; Minicozzi, William P. (December 2020, Publications mathématiques de l'IHÉS)

   null (Ed.)
4. Survival of the Systems

   https://doi.org/10.1016/j.tree.2020.12.003  

   Lenton, Timothy M.; Kohler, Timothy A.; Marquet, Pablo A.; Boyle, Richard A.; Crucifix, Michel; Wilkinson, David M.; Scheffer, Marten (April 2021, Trends in Ecology & Evolution)

   null (Ed.)
5. Applications of Polynomial Systems

   Cox, D; D'Andrea, C; Dickenstein, A; Hauenstein, J; Schenck, H; Sidman, J (January 2020, CBMS Lecture notes 134)

   null (Ed.)

   CBMS notes from a series of 10 Lectures by David Cox, with supplemental lectures by C. D'Andrea, A. Dickenstein, J. Hauenstein, H. Schenck, J. Sidman. Systems of polynomial equations can be used to model an astonishing variety of phenomena. This book explores the geometry and algebra of such systems and includes numerous applications. The book begins with elimination theory from Newton to the twenty-first century and then discusses the interaction between algebraic geometry and numerical computations, a subject now called numerical algebraic geometry. The final three chapters discuss applications to geometric modeling, rigidity theory, and chemical reaction networks in detail. Each chapter ends with a section written by a leading expert. 

   more » « less