Complexity Certifications of First-Order Inexact Lagrangian Methods for General Convex Programming: Application to Real-Time MPC

Author(s):  
Ion Necoara ◽  
Andrei Patrascu ◽  
Angelia Nedić
2014 ◽  
Vol 2014 ◽  
pp. 1-5 ◽  
Author(s):  
Liang Zhao

This paper presents a novel abnormal data detecting algorithm based on the first order difference method, which could be used to find out outlier in building energy consumption platform real time. The principle and criterion of methodology are discussed in detail. The results show that outlier in cumulative power consumption could be detected by our method.


1992 ◽  
Vol 01 (01) ◽  
pp. 1-35 ◽  
Author(s):  
JEFFREY J. J.-P. TSAI ◽  
HUNG-CHIN JANG

FRORL (Frame-and-Rule Oriented Requirements specification Language) was proposed to exploit knowledge representation techniques as an aid in the specification, analysis, and development of a software system. With the real-time software systems as our target systems, the merely mechanisms provided by FRORL cannot meet the specific demands on real-time software systems. As a result, in this paper, we propose RT-FRORL (Real-Time FRORL) as an extension of FRORL. RT-FRORL not only inherits FRORL's basic structure but also includes those language constructs needed to support the specification of real-time systems. The syntax of RT-FRORL is based on frames and production rules. The semantics of RT-FRORL is defined through the integration of first order logic and temporal logic extension. Using RT-FRORL, concurrent and absolute time properties of real-time systems can be easily specified.


Author(s):  
FRANCESCO G. B. DE NATALE

Simple approaches to texture discrimination based on histogram analysis are useful in real-time applications but often yield inadequate results. On the other hand, methods based on higher-order statistics (e.g., co-occurrence matrices) provide a more complete statistical characterisation but are extremely time-consuming. In this paper, methods based on first order statistical analysis are reviewed and the significance of the relevant representative features analyzed. Then, rank functions are considered and appropriate distance functions are introduced that prove to have substantial advantages over classical histogram-based approaches.


Sign in / Sign up

Export Citation Format

Share Document