Sciweavers

11172 search results - page 390 / 2235
» Testing Physical Systems
Sort
View
HOTOS
2009
IEEE
15 years 10 months ago
Migration without Virtualization
Migrating a live, running operating system from one machine to another has proven to be an invaluable tool over the past few years. Today, however, the only way to migrate an OS i...
Michael A. Kozuch, Michael Kaminsky, Michael P. Ry...
SCAI
2001
15 years 8 months ago
Using Situated Communication in Distributed Autonomous Mobile Robotics
When using communication in multi-robot systems it's often not desirable to choose an form of communication that separates the messages from the physical environment in which...
Kasper Støy
ICSE
1999
IEEE-ACM
15 years 11 months ago
Using a Goal-Driven Approach to Generate Test Cases for GUIs
The widespread use of GUIs for interacting with software is leading to the construction of more and more complex GUIs. With the growing complexity comes challenges in testing the ...
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa
EMSOFT
2008
Springer
15 years 8 months ago
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
CDC
2009
IEEE
116views Control Systems» more  CDC 2009»
15 years 11 months ago
Robust output feedback control of a magnetic levitation system via high-gain observer
Abstract— This paper proposes a novel robust output feedback controller for an electromechanical system in the presence of external disturbance and uncertainties of physical para...
Zi-Jiang Yang, Seiichiro Hara, Shunshoku Kanae, Ki...