Sage Journals: Discover world-class research

Retricted access

Research article

First published 2006-5

Decidability Analysis of Self-Stabilization for Infinite-State Systems

Hsu-Chun Yen, Lien-Po Yu

Fundamenta Informaticae

Retricted access

Research article

First published 2017

A Framework for the Verification of Parameterized Infinite-state Systems *

Francesco Alberti, Silvio Ghilardi, Natasha Sharygina

Fundamenta Informaticae

Retricted access

Research article

First published 2012-10

Improving Reachability Analysis of Infinite State Systems by Specialization

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1991-12

State-space approaches to H-infinity control for infinite-dimensional linear systems

Ruth F. Curtain

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2016-11-8

Model-checking trace-based information flow properties for infinite-state systems

Deepak D’Souza, K.R. Raghavendra

Journal of Computer Security

Retricted access

Research article

First published 2017-4

Analysis of fractional models physical consistency

Jocelyn Sabatier, Christophe Farges

Journal of Vibration and Control

Retricted access

Research article

First published 2008-10

Nets with Tokens which Carry Data

Ranko Lazić, Tom Newcomb, Joël Ouaknine [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2008-09

Stability of Discrete Fractional Order State-space Systems

Andrzej Dzieliński, Dominik Sierociuk

Journal of Vibration and Control

Retricted access

Research article

First published 2013-8

Controlling Polyvariance for Specialization-based Verification

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Retricted access

Review article

First published 2024-9

Stability analysis of discrete-time time-varying stochastic systems with infinite Markov switching

Zhiyong Ye, Hongxia Zhao, Fang Yan [...]

Transactions of the Institute of Measurement and Control

Search results