Sciweavers

7778 search results - page 244 / 1556
» Designing Controllers for Reachability
Sort
View
AAAI
1994
15 years 5 months ago
Towards More Creative Case-Based Design Systems
Case-based reasoning (CBR) has a great deal to o er in supporting creative design, particularly processes that rely heavily on previous design experience, such as framing the prob...
Linda M. Wills, Janet L. Kolodner
CCE
2010
15 years 1 months ago
Green process design, green energy, and sustainability: A systems analysis perspective
This paper presents a systems analysis perspective that extends the traditional process design framework to green process design, green energy and industrial ecology leading to su...
Urmila M. Diwekar, Yogendra N. Shastri
ICFP
2006
ACM
16 years 4 months ago
Access control in a core calculus of dependency
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
Martín Abadi
CDC
2008
IEEE
182views Control Systems» more  CDC 2008»
15 years 10 months ago
A Lyapunov approach to second-order sliding mode controllers and observers
— In this paper a strong Lyapunov function is obtained, for the first time, for the supertwisting algorithm, an important class of second order sliding modes (SOSM). This algori...
Jaime A. Moreno, Marisol Osorio
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
15 years 10 months ago
On the structure of graph edge designs that optimize the algebraic connectivity
— We take a structural approach to the problem of designing the edge weights in an undirected graph subject to an upper bound on their total, so as to maximize the algebraic conn...
Yan Wan, Sandip Roy, Xu Wang, Ali Saberi, Tao Yang...