Search results for "second-order"
showing 10 items of 38 documents
Monadic second-order logic over pictures and recognizability by tiling systems
1994
We show that a set of pictures (rectangular arrays of symbols) is recognized by a finite tiling system if and only if it is definable in existential monadic second-order logic. As a consequence, finite tiling systems constitute a notion of recognizability over two-dimensional inputs which at the same time generalizes finite-state recognizability over strings and matches a natural logic. The proof is based on the Ehrenfeucht-FraIsse technique for first-order logic and an implementation of “threshold counting” within tiling systems.
Monadic Second-Order Logic over Rectangular Pictures and Recognizability by Tiling Systems
1996
Abstract It is shown that a set of pictures (rectangular arrays of symbols) is recognized by a finite tiling system iff it is definable in existential monadic second-order logic. As a consequence, finite tiling systems constitute a notion of recognizability over two-dimensional inputs which at the same time generalizes finite-state recognizability over strings and also matches a natural logic. The proof is based on the Ehrenfeucht–Fraisse technique for first-order logic and an implementation of “threshold counting” within tiling systems.
Minimum contrast for point processes' first-order intensity estimation
2023
In this paper, we exploit some theoretical results, from which we know the expected value of the K-function weighted by the true first-order intensity function of a point pattern. This theoretical result can serve as an estimation method for obtaining the parameter estimates of a specific model, assumed for the data. The only requirement is the knowledge of the first-order intensity function expression, completely avoiding writing the likelihood, which is often complex to deal with in point process models. We illustrate the method through simulation studies for spatio-temporal point processes.
Testing for local structure in spatiotemporal point pattern data
2017
The detection of clustering structure in a point pattern is one of the main focuses of attention in spatiotemporal data mining. Indeed, statistical tools for clustering detection and identification of individual events belonging to clusters are welcome in epidemiology and seismology. Local second-order characteristics provide information on how an event relates to nearby events. In this work, we extend local indicators of spatial association (known as LISA functions) to the spatiotemporal context (which will be then called LISTA functions). These functions are then used to build local tests of clustering to analyse differences in local spatiotemporal structures. We present a simulation stud…
Locally weighted spatio-temporal minimum contrast for Log-Gaussian Cox Processes
2022
We propose a local version of the spatio-temporal log-Gaussian Cox processes (LGCPs) employing the Local Indicators of Spatio-Temporal Association (LISTA) functions into the minimum contrast procedure to obtain space as well as time-varying parameters. We resort to the joint minimum contrast method fitting method to estimate the set of second-order parameters for the class of spatio-temporal LGCPs. This approach has the advantage of being usable in the case of both separable and non-separable parametric specifications of the correlation function of the underlying Gaussian Random Field (GRF).
Second-order diagnostics for space-time point processes with application to seismic events
2008
A diagnostic method for space-time point process is introduced and used to interpret and assess the goodness of fit of particular models to real data such as the seismic ones. The proposed method is founded on the definition of a weighted process and allows to detect second-order features of data, like long-range dependence and fractal behavior, that are not accounted for by the fitted model. Applications to earthquake data are provided. Copyright © 2008 John Wiley & Sons, Ltd.
Local inhomogeneous second-order characteristics for spatio-temporal point processes occurring on linear networks
2022
AbstractPoint processes on linear networks are increasingly being considered to analyse events occurring on particular network-based structures. In this paper, we extend Local Indicators of Spatio-Temporal Association (LISTA) functions to the non-Euclidean space of linear networks, allowing to obtain information on how events relate to nearby events. In particular, we propose the local version of two inhomogeneous second-order statistics for spatio-temporal point processes on linear networks, the K- and the pair correlation functions. We put particular emphasis on the local K-functions, deriving come theoretical results which enable us to show that these LISTA functions are useful for diagn…
Point process diagnostics based on weighted second-order statistics and their asymptotic properties
2008
A new approach for point process diagnostics is presented. The method is based on extending second-order statistics for point processes by weighting each point by the inverse of the conditional intensity function at the point’s location. The result is generalized versions of the spectral density, R/S statistic, correlation integral and K-function, which can be used to test the fit of a complex point process model with an arbitrary conditional intensity function, rather than a stationary Poisson model. Asymptotic properties of these generalized second-order statistics are derived, using an approach based on martingale theory.
Assessing local differences between the spatio-temporal second-order structure of two point patterns occurring on the same linear network
2021
Abstract We introduce Local Indicators of Spatio-Temporal Association (LISTA) functions on linear networks and use them to build a statistical test for local second-order structure. This allows to identify differences in the spatio-temporal clustering behaviour of two point patterns, a point pattern of interest and a background one, both occurring on the same linear network. We assess the performance of the testing procedure for local second-order structure through simulation studies under a variety of scenarios that also account for different generating point processes. We show that the proposed local test is able to correctly identify the spatio-temporal difference in the local second-ord…
Second order optimality conditions in the smooth case and applications in optimal control
2007
International audience; The aim of this article is to present algorithms to compute the first conjugate time along a smooth extremal curve, where the trajectory ceases to be optimal. It is based on recent theoretical developments of geometric optimal control, and the article contains a review of second order optimality conditions. The computations are related to a test of positivity of the intrinsic second order derivative or a test of singularity of the extremal flow. We derive an algorithm called COTCOT (Conditions of Order Two and COnjugate times), available on the web, and apply it to the minimal time problem of orbit transfer, and to the attitude control problem of a rigid spacecraft. …