Sciweavers

15840 search results - page 24 / 3168
» The Control of Synchronous Systems
Sort
View
SAC
2006
ACM
13 years 7 months ago
A domain-specific language for task handlers generation, applying discrete controller synthesis
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
Gwenaël Delaval, Éric Rutten
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 12 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
CDC
2008
IEEE
103views Control Systems» more  CDC 2008»
14 years 2 months ago
Global swing instability of multimachine power systems
— This paper studies global instability in swing equations of multimachine power systems. Global instability is related to the undesirable phenomenon of power system, implying th...
Yoshihiko Susuki, Igor Mezic, Takashi Hikihara
IVA
2005
Springer
14 years 1 months ago
Hierarchical Motion Controllers for Real-Time Autonomous Virtual Humans
Abstract. Continuous and synchronized whole-body motions are essential for achieving believable autonomous virtual humans in interactive applications. We present a new motion contr...
Marcelo Kallmann, Stacy Marsella
NCA
2003
IEEE
14 years 29 days ago
Performance Analysis of an Application-level Cooperative Control Protocol
This paper proposes the modeling and the performance analysis of a high-level control protocol – COCOP, which enables cooperative groups of clients to control a shared server de...
Giancarlo Fortino, Carlo Mastroianni, Wilma Russo