Results 261 to 270 of about 31,731,507 (308)
Some of the next articles are maybe not open access.
Compositionality in state space verification methods
1996The purpose of this article is to introduce the concepts and ideas that are necessary for understanding computerised process-algebraic compositional verification. Furthermore, by describing two recent case studies an attempt is made to demonstrate the power of the compositional approach and to describe some advanced ways of using the basic techniques ...
openaire +2 more sources
State-space models and matrix methods
1993In many cases a two-state approach for reliability analysis of systems composed of multiple components is not appropriate. This is so especially when redundancy is applied or when some components have multiple failure modes having non-identical impacts on system performance.
D. J. Sherwin, A. Bossche
openaire +1 more source
Linear State Space Control Methods
2021Here we explore the control of marine vehicles when their dynamics can be modeled in state space as linear time invariant systems. With this approach one can determine if the vehicle is controllable and whether it is possible to estimate the full system state using available measurements of its output.
openaire +1 more source
A Heuristic Method to Isolate the State Space
2009 International Conference on Computational Intelligence and Software Engineering, 2009is a key problem, these mentioned above approaches are build on the decomposition of the state space. In these approaches, the state space is decomposed according to the prior problem domain knowledge with the assistance of human, but that would make the decomposition is problem-specific, and also destroy the agent’s autonomy: the most merit of RL.
Zhao Jin, WeiYi Liu, Jian Jin
openaire +1 more source
A State Recognition Method Based on the State Space Theory
Advanced Materials Research, 2014With the development of the monitoring technology in industrial process, it is increasingly important for state recognition of the mechanical devices. By learning from the immune identification process, state space theory is used for state recognition in this paper.
Xi He, Yu Jiong Gu, Ting Xu
openaire +1 more source
Temporal disaggregation by state space methods: Dynamic regression methods revisited [PDF]
The Econometrics Journal, 2006 Summary: The paper advocates the use of state space methods to deal with the problem of temporal disaggregation by dynamic regression models, which encompass the most popular techniques for the distribution of economic flow variables, such as Chow-Lin, Fernández and Litterman.
openaire +3 more sources
Methods for estimating state-space size of Petri nets
Proceedings 1992 IEEE International Conference on Robotics and Automation, 2003The authors present the results of an investigation of the relationships between a Petri net (PN) and the size of its associated state-space. Four estimators are developed for estimating the number of states in a PN and understanding the sensitivity of this number to increases in tokens, places, and transitions.
James F. Watson III, Alan A. Desrochers
openaire +2 more sources
Human State Recognition Method in Intelligent Space
2023 IEEE/SICE International Symposium on System Integration (SII), 2023Haruhiro Ozaki +2 more
openaire +1 more source
Component Modeling with State-Space Method
2016A state-space representation, also known as the ‘time-domain approach’, is a mathematical model of a physical system as a set of input, output, and state variables related to first-order differential equations.
Ye Yao, Yuebin Yu
openaire +1 more source