This paper studies the satisfaction of a class of temporal properties for cyber-physical systems (CPSs) over a finite-time horizon in the presence of an adversary, in an environment described by discretetime dynamics. The temporal logic specification is given in safe−LTLF , a fragment of linear temporal logic over traces of finite length. The interaction of the CPS with the adversary is modeled as a two-player zerosum discrete-time dynamic stochastic game with the CPS as defender. We formulate a dynamic programming based approach to determine a stationary defender policy that maximizes the probability of satisfaction of a safe − LTLF formula over a finite time-horizon under any stationary adversary policy. We introduce secure control barrier certificates (S-CBCs), a generalization of barrier certificates and control barrier certificates that accounts for the presence of an adversary, and use S-CBCs to provide a lower bound on the above satisfaction probability. When the dynamics of the evolution of the system state has a specific underlying structure, we present a way to determine an S-CBC as a polynomial in the state variables using sum-of-squares optimization. An illustrative example demonstrates our approach. 
                        more » 
                        « less   
                    
                            
                            The significance of fuzzy boundaries of the barrier regions in single-molecule measurements of failed barrier crossing attempts
                        
                    
    
            A recent ground-breaking experimental study [Lyons et al., Phys. Rev. X 14(1), 011017 (2024)] reports on measuring the temporal duration and the spatial extent of failed attempts to cross an activation barrier (i.e., “loops”) for a folding transition in a single molecule and for a Brownian particle trapped within a bistable potential. Within the model of diffusive dynamics, however, both of these quantities are, on average, exactly zero because of the recrossings of the barrier region boundary. That is, an observer endowed with infinite spatial and temporal resolution would find that finite loops do not exist (or, more precisely, form a set of measure zero). Here we develop a description of the experiment that takes the “fuzziness” of the boundaries caused by finite experimental resolution into account and show how the experimental uncertainty of localizing the point, in time and space, where the barrier is crossed leads to observable distributions of loop times and sizes. Although these distributions generally depend on the experimental resolution, this dependence, in certain cases, may amount to a simple resolution-dependent factor and, therefore, the experiments do probe inherent properties of barrier crossing dynamics. 
        more » 
        « less   
        
    
    
                            - PAR ID:
- 10563721
- Publisher / Repository:
- AIP
- Date Published:
- Journal Name:
- The Journal of Chemical Physics
- Volume:
- 161
- Issue:
- 10
- ISSN:
- 0021-9606
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
- 
            
- 
            The trajectory of a molecular system undergoing a reversible reaction A ⇌ B and crossing and recrossing a transition state separating the reactant and product consists of loops, i.e., excursions from the transition state to either side and back to the transition state. Motivated by recent experimental observations of loops, here, we discuss some of their statistical properties. In particular, we highlight that the transition-state rate is not only an upper bound on the true reaction rate but also a physical property of the loops. We further find that loops can be unambiguously divided into two sub-ensembles. Those consist of short loops, which are brief excursions from the transition state, and long loops that get trapped in the reactant or product wells before eventually returning to the barrier. Finally, we show that the loop time distribution contains information about both the reaction rate coefficients and their transition-state-theory counterparts.more » « less
- 
            Recent single-molecule measurements [Schoch et al., Proc. Natl. Acad. Sci. U. S. A. 118, e2113202118 (2021)] have observed dynamic lipid–lipid correlations in membranes with submicrometer spatial resolution and submillisecond temporal resolution. While short from an instrumentation standpoint, these length and time scales remain long compared to microscopic molecular motions. Theoretical expressions are derived to infer experimentally measurable correlations from the two-body diffusion matrix appropriate for membrane-bound bodies coupled by hydrodynamic interactions. The temporal (and associated spatial) averaging resulting from finite acquisition times has the effect of washing out correlations as compared to naive predictions (i.e., the bare elements of the diffusion matrix), which would be expected to hold for instantaneous measurements. The theoretical predictions are shown to be in excellent agreement with Brownian dynamics simulations of experimental measurements. Numerical results suggest that the experimental measurement of membrane protein diffusion, in complement to lipid diffusion measurements, might help to resolve the experimental ambiguities encountered for certain black lipid membranes.more » « less
- 
            Abstract Material elements – which are lines, surfaces, or volumes behaving as passive, non-diffusive markers – provide an inherently geometric window into the intricate dynamics of chaotic flows. Their stretching and folding dynamics has immediate implications for mixing in the oceans or the atmosphere, as well as the emergence of self-sustained dynamos in astrophysical settings. Here, we uncover robust statistical properties of an ensemble of material loops in a turbulent environment. Our approach combines high-resolution direct numerical simulations of Navier-Stokes turbulence, stochastic models, and dynamical systems techniques to reveal predictable, universal features of these complex objects. We show that the loop curvature statistics become stationary through a dynamical formation process of high-curvature folds, leading to distributions with power-law tails whose exponents are determined by the large-deviations statistics of finite-time Lyapunov exponents of the flow. This prediction applies to advected material lines in a broad range of chaotic flows. To complement this dynamical picture, we confirm our theory in the analytically tractable Kraichnan model with an exact Fokker-Planck approach.more » « less
 An official website of the United States government
An official website of the United States government 
				
			 
					 
					
 
                                    