Sciweavers

2366 search results - page 78 / 474
» Pfaffian Hybrid Systems
Sort
View
HYBRID
2000
Springer
14 years 2 months ago
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
Pieter J. Mosterman, Gautam Biswas
HYBRID
2010
Springer
14 years 6 months ago
Automatic invariant generation for hybrid systems using ideal fixed points
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
Sriram Sankaranarayanan
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
14 years 3 months ago
Stability of networks of hybrid ISS systems
— Interconnection of several hybrid input-to-state stable (ISS) systems is considered in this paper. We ask under what condition is such an interconnection stable and how an ISS-...
Sergey Dashkovskiy, Michael Kosmykov
HYBRID
2001
Springer
14 years 3 months ago
On Hybrid Control of Under-Actuated Mechanical Systems
In this work we present a novel control design methodology for under-actuated mechanical systems. As part of the design process we use the reachability analysis tool d/dt [ABDM99,D...
Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao ...
HYBRID
2000
Springer
14 years 2 months ago
Hybrid Systems Diagnosis
This paper reports on an on-going project to investigate techniques to diagnose complex dynamical systems that are modeled as hybrid systems. In particular, we examine continuous s...
Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vi...