Sciweavers

4434 search results - page 407 / 887
» On the Composition of Hybrid Systems
Sort
View
SOFTCOMP
2010
15 years 5 months ago
Approaching Real-Time Intrusion Detection through MOVICAB-IDS
Abstract This paper presents an extension of MOVICAB-IDS, a Hybrid Intelligent Intrusion Detection System characterized by incorporating temporal control to enable real-time proces...
Martí Navarro, Álvaro Herrero, Emili...
FORMATS
2010
Springer
15 years 4 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
HYBRID
2011
Springer
14 years 6 months ago
Resource constrained LQR control under fast sampling
We investigate a state feedback Linear Quadratic Regulation problem with a constraint on the number of actuation signals that can be updated simultaneously. Such a constraint aris...
Jerome Le Ny, Eric Feron, George J. Pappas
ICALT
2006
IEEE
16 years 27 days ago
Composing Adaptive Learning Systems
Adaptive learning systems are recognized as one of the most interesting research topics in intelligent learning management systems. Taking as a point of departure the practices an...
Dirk Frosch-Wilke, Salvador Sánchez Alonso
MRCO
2005
Springer
16 years 10 days ago
An Architecture for Developing Context-Aware Systems
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architec...
Kaiyu Wan, Vasu S. Alagar, Joey Paquet