5 resultados para publicly verifiable
em Cambridge University Engineering Department Publications Database
Resumo:
This paper presents easily verifiable sufficient conditions for the existence of Zenobehavior in Lagrangian hybrid systems, i.e., hybrid systems modeling mechanical systemsundergoing impacts. © 2008 Springer-Verlag Berlin Heidelberg.
Resumo:
This paper presents proof-certificate based sufficient conditions for the existence of Zeno behavior in hybrid systems near non-isolated Zeno equilibria. To establish these conditions, we first prove sufficient conditions for Zeno behavior in a special class of hybrid systems termed first quadrant interval hybrid systems. The proof-certificate sufficient conditions are then obtained through a collection of functions that effectively "reduce" a general hybrid system to a first quadrant interval hybrid system. This paper concludes with an application of these ideas to Lagrangian hybrid systems, resulting in easily verifiable sufficient conditions for Zeno behavior. © 2008 IEEE.
Resumo:
Lyapunov-like conditions that utilize generalizations of energy and barrier functions certifying Zeno behavior near Zeno equilibria are presented. To better illustrate these conditions, we will study them in the context of Lagrangian hybrid systems. Through the observation that Lagrangian hybrid systems with isolated Zeno equilibria must have a onedimensional configuration space, we utilize our Lyapunov-like conditions to obtain easily verifiable necessary and sufficient conditions for the existence of Zeno behavior in systems of this form. © 2007 IEEE.
Resumo:
We present Multi Scale Shape Index (MSSI), a novel feature for 3D object recognition. Inspired by the scale space filtering theory and Shape Index measure proposed by Koenderink & Van Doorn [6], this feature associates different forms of shape, such as umbilics, saddle regions, parabolic regions to a real valued index. This association is useful for representing an object based on its constituent shape forms. We derive closed form scale space equations which computes a characteristic scale at each 3D point in a point cloud without an explicit mesh structure. This characteristic scale is then used to estimate the Shape Index. We quantitatively evaluate the robustness and repeatability of the MSSI feature for varying object scales and changing point cloud density. We also quantify the performance of MSSI for object category recognition on a publicly available dataset. © 2013 Springer-Verlag.
Resumo:
This paper uses a patent data set to identify factors fostering innovation of diesel engines between 1974 and 2010 in the OECD region. The propensity of engine producers to innovate grew by 1.9 standard deviations after the expansion of the car market, by 0.7 standard deviations following a shift in the EU fuel economy standard, and by 0.23 standard deviations. The propensity to develop emissions control techniques was positively influenced by pollution control laws introduced in Japan, in the US, and in the EU, but not with the expansion of the car market. Furthermore, a decline in loan rates stimulated the propensity to develop emissions control techniques, which were simultaneously crowded out by increases in publicly-funded transport research and development. Innovation activities in engine efficiency are explained by market size, loan rates and by (Organisation for Economic Cooperation and Development) diesel prices, inclusive of taxes. Price effects on innovation, outweigh that of the US corporate average fuel economy standards. Innovation is also positively influenced by past transport research and development. © 2014 Elsevier Ltd.