Results 251 to 260 of about 502,946 (294)

Real-time integrity constraints

Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '92, 1992
We propose that Past Metric Temporal Logic (Temporal Logic with real-time operators referring to the past) be used as a language for specifying real-time integrity constraints. Building on our earlier work, we develop efficient, history-less methods of evaluating such constraints.
openaire   +1 more source

Integral barrier Lyapunov functions-based integrated guidance and control design for strap-down missile with field-of-view constraint

Transactions of the Institute of Measurement and Control, 2021
Bin Zhao, JianGuo Guo
exaly  

Improving Boundary Constraint of Probability Integral Method in SBAS-InSAR for Deformation Monitoring in Mining Areas

Remote Sensing, 2021
Mengyao Shi, Bin Zhang
exaly  

Integrity Constraints I

2003
C.J. Date, Hugh Darwen, Nikos A. Lorentzos   +2 more
openaire   +1 more source

Integral Constraints in Cosmology

1997
The origin of Traschen’s integral constraints for linear perturbations in Robertson-Walker backgrounds is elucidated. These have important cosmological implications. Traschen’s integral constraint vectors have a particularly simple relation to the Killing vectors of de Sitter spaces.
openaire   +1 more source

Event-triggered integral sliding mode controller for rigid spacecraft attitude tracking with angular velocity constraint

International Journal of Control, 2022
Zhi-Gang Zhou, Di Zhou, Xiao-Ning Shi
exaly  

Singular Arcs in Optimal Periodic Controls for Scalar Dynamics and Integral Input Constraint

Journal of Optimization Theory and Applications, 2022
Alain E Rapaport
exaly  

Integrated Constraint Evaluation

2008
Flach, John M., Schwartz, Daniel, Bennett, A., Russell, S., Hughes, T.   +4 more
openaire   +1 more source

Integral barrier Lyapunov function-based three-dimensional low-order integrated guidance and control design with seeker's field-of-view constraint

Aerospace Science and Technology, 2021
Deng-Hui Zhang, Zhengxiang Sun
exaly  

7 Integral constraints

2023
openaire   +1 more source