From T-Coalgebras to Filter Structures and Transition Systems

2005 ◽  
pp. 194-212 ◽  
Author(s):  
H. Peter Gumm
Keyword(s):  
Transition Systems ◽  
Filter Structures

Implementation of wave digital filter structures

1981 ◽  
Vol 128 (4) ◽  
pp. 224 ◽  
Author(s):  
S.S. Lawson
Keyword(s):  
Digital Filter ◽  
Wave Digital Filter ◽  
Filter Structures

Neural Transition Systems for Modeling Hierarchical Semantic Representations

2019 ◽  
Author(s):  
Riyaz Bhat ◽  
John Chen ◽  
Rashmi Prasad ◽  
Srinivas Bangalore
Keyword(s):  
Semantic Representations ◽  
Transition Systems

scholarly journals Battery transition systems

2014 ◽  
Vol 49 (1) ◽  
pp. 595-606 ◽  
Author(s):  
Udi Boker ◽  
Thomas A. Henzinger ◽  
Arjun Radhakrishna
Keyword(s):  
Transition Systems

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic

2021 ◽  
Vol 178 (1-2) ◽  
pp. 1-30
Author(s):  
Florian Bruse ◽  
Martin Lange ◽  
Etienne Lozes
Keyword(s):  
Model Checking ◽  
Lower Bounds ◽  
Expressive Power ◽  
Higher Order ◽  
Order Logic ◽  
High Complexity ◽  
Transition Systems ◽  
Recursive Formulas ◽  
Second Order Logic ◽  
Monadic Second Order Logic

Higher-Order Fixpoint Logic (HFL) is a modal specification language whose expressive power reaches far beyond that of Monadic Second-Order Logic, achieved through an incorporation of a typed λ-calculus into the modal μ-calculus. Its model checking problem on finite transition systems is decidable, albeit of high complexity, namely k-EXPTIME-complete for formulas that use functions of type order at most k < 0. In this paper we present a fragment with a presumably easier model checking problem. We show that so-called tail-recursive formulas of type order k can be model checked in (k − 1)-EXPSPACE, and also give matching lower bounds. This yields generic results for the complexity of bisimulation-invariant non-regular properties, as these can typically be defined in HFL.

scholarly journals State identification for labeled transition systems with inputs and outputs

2021 ◽  
pp. 102678
Author(s):  
Petra van den Bos ◽  
Frits Vaandrager
Keyword(s):  
Transition Systems ◽  
State Identification ◽  
Inputs And Outputs

scholarly journals Transition-Systems, Event Structures, and Unfoldings

1995 ◽  
Vol 118 (2) ◽  
pp. 191-207 ◽  
Author(s):  
M. Nielsen ◽  
G. Rozenberg ◽  
P.S. Thiagarajan
Keyword(s):  
Transition Systems ◽  
Event Structures

scholarly journals Static Analysis of Featured Transition Systems

2019 ◽  
Author(s):  
Maurice H. ter Beek ◽  
Ferruccio Damiani ◽  
Michael Lienhardt ◽  
Franco Mazzanti ◽  
Luca Paolini
Keyword(s):  
Static Analysis ◽  
Transition Systems

scholarly journals Reflectionless Filter Structures

2015 ◽  
Vol 63 (4) ◽  
pp. 1263-1271 ◽  
Author(s):  
Matthew A. Morgan ◽  
Tod A. Boyd
Keyword(s):  
Filter Structures

Long-run order-independence of vector-based transition systems

2011 ◽  
Vol 5 (6) ◽  
pp. 468
Author(s):  
M. Raffelsieper ◽  
M.R. Mousavi ◽  
H. Zantema
Keyword(s):  
Transition Systems ◽  
Long Run
Sign in / Sign up

Export Citation Format

Share Document