Sciweavers

1619 search results - page 68 / 324
» Important Moments in Systems and Control
Sort
View
RSP
1999
IEEE
13 years 12 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
HYBRID
1999
Springer
13 years 12 months ago
A New Class of Decidable Hybrid Systems
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...
Gerardo Lafferriere, George J. Pappas, Sergio Yovi...
MACH
1990
13 years 8 months ago
Real-Time Mach: Towards a Predictable Real-Time System
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...
Hideyuki Tokuda, Tatsuo Nakajima, Prithvi Rao
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
14 years 2 months ago
Fast computation of frequency response functions for a class of nonlinear systems
— One of the important and efficient tools in system analysis is the analysis of responses to harmonic excitations. For linear systems the information on such responses is conta...
Alexey V. Pavlov, Nathan van de Wouw
ASSETS
2006
ACM
14 years 1 months ago
Attention analysis in interactive software for children with autism
This work is a part of an ongoing project that focuses on potential applications of an interactive system that helps children with autism. Autism is classified as a neurodevelopm...
A. Ould Mohamed, Vincent Courboulay, Karim Sehaba,...