Sciweavers

1317 search results - page 59 / 264
» A new delay system approach to network-based control
Sort
View
104
Voted
COMCOM
2007
125views more  COMCOM 2007»
15 years 16 days ago
Guaranteeing the network lifetime in wireless sensor networks: A MAC layer approach
Energy is the most crucial but scarce resource in wireless sensor networks (WSNs). A wealth of MAC protocols are proposed only to prolong the network lifetime for energy-efficienc...
Yongsub Nam, Taekyoung Kwon, Hojin Lee, Hakyung Ju...
97
Voted
UC
2007
Springer
15 years 6 months ago
Taming Non-compositionality Using New Binders
We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new bind...
Frédéric Prost
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
15 years 6 months ago
Managing non-determinism in symbolic robot motion planning and control
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
Marius Kloetzer, Calin Belta
131
Voted
ICST
2010
IEEE
14 years 11 months ago
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
Laya Madani, Virginia Papailiopoulou, Ioannis Pari...
CDC
2008
IEEE
104views Control Systems» more  CDC 2008»
15 years 7 months ago
Delta modulation for multivariable centralized linear networked controlled systems
—This paper investigates the closed-loop properties of multivariable (MIMO1 ) linear systems where the sensed information is centralized and coded on the basis of a ∆-modulatio...
Jonathan Jaglin, Carlos Canudas de Wit, Cyrille Si...