Filters
Properties of State Spaces and Their Applications
Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large collection of state
IN - Informatika
- 2008 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
State-Space Model of Lattice Structure with Zero State Response
The state-space description of lattice structures is developed, and with the help of signal flow graphs the ZSR and the YIR are defined....
JA - Elektronika a optoelektronika, elektrotechnika
- 1995 •
- D
Rok uplatnění
D - Stať ve sborníku
Using Assumptions to Distribute CTL Model Checking
In this work we discuss the problem of performing distributed CTL model checking by splitting the given state space into several ``partial state spaces''. The partial state space is m...
JC - Počítačový hardware a software
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
State-space constrained model predictive control
Constrained State-space Model Predictive Control is presented in the paper. Predictive controller based on incremental linear state-space process model and quadratic criterion is derived. Typical ...
BC - Teorie a systémy řízení
- 2013 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Assumption-based distribution of CTL model checking
In this paper we discuss the problem of performing distributed CTL model checking by splitting the given state space into several ldquopartial state spaces. The partial state space is
IN - Informatika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Typical Structural Properties of State Spaces
Explicit model checking algorithms explore the full state space of a system. We have gathered a large collection of state spaces and performed an extensive study of their structural properties. The results...
IN - Informatika
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
The usage of state space models in mortality modeling and predictions
Main topics of the document: generalized state space models; extended Kalman filter; exponential smoothing; Lee-Carter model; mortality; prediction comparison......
Statistics and probability
- 2023 •
- JSC •
- Link
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
Mixture estimation with state-space components and Markov model of switching
The paper deals with estimation of mixture with state state space components and static discrete model for switching....
BB - Aplikovaná statistika, operační výzkum
- 2013 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
State-space Model Based on Graph Rewriting
Many methods for model analyses and verifications are based on the state-space analysis of the model. While models usually have a finite representation, their state spaces are often infin...
JC - Počítačový hardware a software
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Maximum Likelihood Estimation of Parameters in State-Space Model
???...
AH - Ekonomie
- 2001 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 272 253