Sciweavers

3229 search results - page 258 / 646
» The Theory of Timed Automata
Sort
View
MCS
2008
Springer
15 years 6 months ago
Numerical optimal control of the wave equation: optimal boundary control of a string to rest in finite time
In many real-life applications of optimal control problems with constraints in form of partial differential equations (PDEs), hyperbolic equations are involved which typically desc...
Matthias Gerdts, Günter Greif, Hans Josef Pes...
TII
2008
88views more  TII 2008»
15 years 6 months ago
Performing Flexible Control on Low-Cost Microcontrollers Using a Minimal Real-Time Kernel
In recent years, approaches to control performance and resource optimization for embedded control systems have been receiving increased attention. Most of them focus on theory, whe...
Ricardo Marau, Pedro Leite, Manel Velasco, Pau Mar...
TKDE
2010
151views more  TKDE 2010»
15 years 5 months ago
Dictionary-Based Compression for Long Time-Series Similarity
—Long time-series datasets are common in many domains, especially scientific domains. Applications in these fields often require comparing trajectories using similarity measure...
Willis Lang, Michael D. Morse, Jignesh M. Patel
EMSOFT
2005
Springer
16 years 6 days ago
Passive mid-stream monitoring of real-time properties
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan
SSS
2005
Springer
132views Control Systems» more  SSS 2005»
16 years 4 days ago
Self-stabilizing Mobile Node Location Management and Message Routing
We present simple algorithms for achieving self-stabilizing location management and routing in mobile ad-hoc networks. While mobile clients may be susceptible to corruption and sto...
Shlomi Dolev, Limor Lahiani, Nancy A. Lynch, Tina ...