Sciweavers

3823 search results - page 391 / 765
» Stability of Hybrid Systems
Sort
View
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
AINA
2007
IEEE
16 years 1 months ago
A Real-Time Scheduling Algorithm with Buffer Optimization for Embedded Signal Processing Systems
Embedded signal processing system is a typical type of application in embedded domain. Such systems typically have requirements on high real-time responsiveness and large buffer c...
Nan Guan, Mingsong Lv, Qingxu Deng, Ge Yu
IEAAIE
2004
Springer
16 years 5 days ago
Knowledge Representation on Design of Storm Drainage System
During the design of storm drainage system, many decisions are involved on the basis of rules of thumb, heuristics, judgment, code of practice and previous experience of the design...
Kwok-wing Chau, C. S. Cheung
CIE
2007
Springer
15 years 10 months ago
Effective Computation for Nonlinear Systems
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
Pieter Collins