Sciweavers

941 search results - page 1 / 189
» The Second Order Particle System
Sort
View
WSCG
2003
148views more  WSCG 2003»
13 years 5 months ago
The Second Order Particle System
In this paper we present an extension to the classical particle system. We unify particles, particle sources, and force generators into a second order particle system. In the seco...
Tommi Ilmonen, Janne Kontkanen
TPHOL
2007
IEEE
13 years 10 months ago
HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
Norbert Völker
DAC
2007
ACM
13 years 8 months ago
SBPOR: Second-Order Balanced Truncation for Passive Order Reduction of RLC Circuits
RLC circuits have been shown to be better formulated as second-order systems instead of first-order systems. The corresponding model order reduction techniques for secondorder sys...
Boyuan Yan, Sheldon X.-D. Tan, Pu Liu, Bruce McGau...
CDC
2009
IEEE
131views Control Systems» more  CDC 2009»
13 years 9 months ago
A second order sliding mode controller with polygonal constraints
— It is presented a discontinuous controller that ensure uniform finite-time zero stabilization of the output for uncertain SISO systems of relative degree two, while keeping th...
Francesco Dinuzzo