Results 261 to 270 of about 31,735,543 (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
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
Methods for the estimation of the size of lookahead tree state-space
Discrete Event Dynamic Systems, 2012zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Creag Winacott +2 more
openaire +3 more sources
Weighted state space methods/ESPRIT and spatial smoothing
[Proceedings] ICASSP 91: 1991 International Conference on Acoustics, Speech, and Signal Processing, 1991The effect of spatial smoothing on direction of arrival (DOA) estimates obtained using weighted eigen-based state space methods/ESPRIT is analyzed. Expressions for the asymptotic mean-squared error in the estimates of the signal zeros and the DOA estimates, along with some general properties of the estimates are derived.
Bhaskar D. Rao, K. V. S. Hari
openaire +2 more sources
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