Concept
Subshift of finite type
Related publications (32)
Measuring and Synthesizing Systems in Probabilistic Environments
Barbara Jobstmann, Rishabh Singh
The traditional synthesis question given a specification asks for the automatic construction of a system that satisfies the specification, whereas often there exists a preference order among the different systems that satisfy the given specification. Under ...
Assoc Computing Machinery2015Noether's theorem for dissipative quantum dynamical semi-groups
Noether's theorem on constants of the motion of dynamical systems has recently been extended to classical dissipative systems (Markovian semi-groups) by Baez and Fong [J. Math. Phys. 54, 013301 (2013)]. We show how to extend these results to the fully quan ...
Amer Inst Physics2015Dynamics Modeling and Control Architecture for Efficient, Manoeuvrable and Robust Monoped Hopping over Rough Terrain
Auke Ijspeert, Salman Faraji, Soha Pouya, Rico Möckel
Leg dynamics and control have been widely studied using mass-spring systems such as the Spring Loaded Inverted Pendulum (SLIP) model [1]. The SLIP model is commonly accepted as the simplest model that resembles leg dynamics. While simplicity facilitates th ...
2013Shift-Invariant and Sampling Spaces Associated With the Fractional Fourier Transform Domain
Shift-invariant spaces play an important role in sampling theory, multiresolution analysis, and many other areas of signal and image processing. A special class of the shift-invariant spaces is the class of sampling spaces in which functions are determined ...
2012Modeling of distortion caused by Markov-model burst packet losses in video transmission
This paper addresses the problem of distortion modeling for video transmission over burst-loss channels characterized by a finite state Markov chain. A Distortion Trellis model is pro- posed, enabling us to estimate at the frame level the expected mean-squ ...
2009Sliding Window Abstraction for Infinite Markov Chains
Maria-Emanuela-Canini Mateescu, Verena Wolf
We present ail on-the-fly abstraction technique for infinite-state continuous-time Markov chains. We consider Markov chains that are specified by a finite set of transition classes. Such models naturally represent biochemical reactions and therefore play a ...
Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2009Sliding Window Abstraction for Infinite Markov Chains
Maria-Emanuela-Canini Mateescu, Verena Wolf
We present an on-the-fly abstraction technique for infinite-state continuous-time Markov chains. We consider Markov chains that are specified by a finite set of transition classes. Such models naturally represent biochemical reactions and therefore play an ...
2009Modeling and Analysis of Distortion Caused by Markov-Model Burst Packet Losses in Video Transmission
This paper addresses the problem of distortion modeling for video transmission over burst-loss channels characterized by a finite state Markov chain. Based on a detailed analysis of the error propagation and the bursty losses, a Distortion Trellis model is ...
2009