Sciweavers

327 search results - page 24 / 66
» Variable structure control of a class of uncertain systems
Sort
View
SCP
2010
96views more  SCP 2010»
14 years 8 months ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D...
POPL
2007
ACM
15 years 10 months ago
Geometry of synthesis: a structured approach to VLSI design
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
Dan R. Ghica
ICRA
2005
IEEE
127views Robotics» more  ICRA 2005»
15 years 3 months ago
Operational Space Control of Multibody Systems with Explicit Holonomic Constraints
— This paper presents an operational space control approach for the general class of holonomically constrained multibody systems. As a point of departure, the general formulation...
Vincent De Sapio, Oussama Khatib
HYBRID
2007
Springer
15 years 3 months ago
The Concept of Deadlock and Livelock in Hybrid Control Systems
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hing...
Alessandro Abate, Alessandro D'Innocenzo, Giordano...
APPML
2010
92views more  APPML 2010»
14 years 10 months ago
Label structured cell proliferation models
We present a general class of cell population models that can be used to track the proliferation of cells which have been labeled with a fluorescent dye. The mathematical models e...
H. T. Banks, Frédérique Charles, Mar...