linear time
The quantitative linear-time–branching-time spectrum
... Keywords: Quantitative verification, system distance, distance hierarchy, linear time, branching time 1. Introduction For rigorous design and verification of embedded systems, both qualitative and ...
28
Linear-time CUR approximation of BEM matrices
... 5 Conclusions We have presented a technique called geometric sampling to construct linear-time CUR algorithms for admissible blocks of a hierarchical matrix coming from the discretization of a BEM problem. ...
33
Equivalence of linear time-delay systems
... IV. C ONCLUSION A full characterization of the equivalence of linear time-delay sys- tems has been given. We claim that the necessary and sufficient condi- tions proposed in this paper are easy to test for ...
6
Automata and temporal logic over arbitrary linear time
... this time model, a number of extensions of the logic and the automata model have been ...of time: general linear time could be useful in different settings, including concurrency, asynchronous ...
14
A Better Alternative to Piecewise Linear Time Series Segmentation
... organizes time series into few intervals having uniform characteristics (flatness, linearity, modality, mono- tonicity and so ...fast linear time algorithms. The popular piecewise linear model ...
12
Splitting a Delaunay Triangulation in Linear Time
... Splitting a Delaunay Triangulation in Linear Time Bernard Chazelle, Olivier Devillers, Ferran Hurtado, Mercè Mora, Vera Sacristán, Monique Teillaud.. To cite this version: Bernard Chazel[r] ...
16
Better approximations for Tree Sparsity in Nearly-Linear Time
... W [left (i), 0] . . . W [left (i), t − 1] and W [right (i), 0] . . . W [right (i), t − 1] Our lower bound proceeds by showing that this correspondence is in some sense inherent, as we reduce (max, +) convolution to tree ...
25
An Optimal Linear Time Algorithm for Quasi-Monotonic Segmentation
... optimal linear time algorithm based on novel ...in time O(n log n) consisting of a labeling of all extrema, we compute any optimal segmentation in constant ...piecewise linear segmentation ...
18
A Linear Time Algorithm Computing the Optimal Speeds Minimizing Energy Under Real-Time Constraints
... release time, size, and deadline (all ...a linear time algorithm that checks the schedulability of the given set of n jobs and computes an optimal speed ...The time complexity of our algorithm ...
27
Definability by Horn formulas and linear time on cellular automata
... The paper is structured as follows: The next section collects the preliminary definitions and gives a precise statement of our main result. In Sec. 2, we establish the left-to-right inclusion of the identity displayed in ...
15
Approximate congruence in nearly linear time
... near-linear time approximation schemes for minimising this distance between two point sets in the plane under isometries; we note here that the best known algorithms for congruence under the bottleneck ...
15
Linear Time Split Decomposition Revisited
... in linear time by ...a linear time algorithm to test the consecutive ones property of ...simple linear time split (or 1-join) decomposition of undirected ...
17
The quantitative linear-time–branching-time spectrum
... (1 + inf{j | σ j 6= τ j }) −1 . Cantor distance hence measures the (inverse) length of the common prefix of the sequences and has been used for verification e.g. in [7]. Both Hamming and Cantor distance have applications ...
17
An Optimal Linear Time Algorithm for Quasi-Monotonic Segmentation
... optimal linear time algorithm based on novel formalism, and compare experi- mentally its performance to a linear time top-down regression ...
4
Optimal Blurred Segments Decomposition in Linear Time
... Unité de recherche INRIA Lorraine LORIA, Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex France Unité de recherche[r] ...
20
Linear-time modular decomposition of directed graphs
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
19
Subspace Instability Monitoring for Linear Periodically Time-Varying Systems
... dynamics, Time-varying systems, Periodic motion, Resonance, Subspace methods, Statistical inference, Fault detection, Stability limits ...a linear time-invariant (LTI) ...
8
Subspace Instability Monitoring for Linear Periodically Time-Varying Systems
... Abstract: Most subspace-based methods enabling instability monitoring are restricted to the linear time-invariant (LTI) systems. In this paper, a new subspace method of instability monitoring is proposed ...
7
Self-triggered stabilizing controllers for linear continuous-time systems
... of the system in the presence of disturbances. Furthermore, self-triggered control schemes have often been coupled with model predictive control, as both use the model to project the behavior of the system up to some ...
15
Subspace Identification for Linear Periodically Time-varying Systems
... to linear time-invariant (LTI) ...on linear time-varying (LTV) case is not ...exhibit time varying behaviors, mainly due to internal (fa- ...the linear pe- riodically time ...
7