Sciweavers

3823 search results - page 288 / 765
» Stability of Hybrid Systems
Sort
View
EMSOFT
2008
Springer
15 years 8 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
CDC
2008
IEEE
119views Control Systems» more  CDC 2008»
16 years 1 months ago
Dissipativity properties of detailed models of synchronous generators
— This paper studies the dissipativity properties of full order dynamic models of synchronous generators. It is shown that, under widely accepted assumptions, these models satisf...
Alvaro Giusto, Alex M. Stankovic, Romeo Ortega
AUTOMATICA
1999
72views more  AUTOMATICA 1999»
15 years 6 months ago
Observer-controller design for cranes via Lyapunov equivalence
We consider a linearized parameter-varying model of a planar crane and show how a controller can be designed, following the state-feedback stabilization technique for time-varying...
Alessandro Giua, Carla Seatzu, Giampaolo Usai
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
15 years 4 months ago
Homogeneity in the bi-limit as a tool for observer and feedback design
Abstract-- We introduce an extension of the notion of homogeneous approximation to make it valid both at the origin and at infinity (homogeneity in the bi-limit). Exploiting this e...
Vincent Andrieu, Laurent Praly, Alessandro Astolfi
HICSS
2007
IEEE
156views Biometrics» more  HICSS 2007»
16 years 1 months ago
KnowFlow - A Hybrid Approach to Identifying and Visualizing Distributed Knowledge Work Practices
Understanding collaborative work practices represents a critical factor in and a necessary fundament for the development of effective Computer Supported Collaborative Work (CSCW) ...
Markus Strohmaier, Stefanie N. Lindstaedt