Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Data Transmission over Networks for Estimation and Control  + (IEEE Transactions on Automatic Control, 2007 (submitted))
• Delay-Based Controller Design for Continuous-Time and Hybrid Applications  + (IEEE Transactions on Automatic Control, 2010 (Submitted))
• Receding Horizon Temporal Logic Planning  + (IEEE Transactions on Automatic Control, 2010 (Submitted))
• Consensus problems in networks of agents with switching topology and time-delays  + (IEEE Transactions on Automatic Control, 49(9):1520--1533)
• To Drop or Not to Drop: Design Principles for Kalman Filtering Over Wireless Fading Channels  + (IEEE Transactions on Automatic Control, 54(2):376-381)
• Kalman Filtering Over A Packet Dropping Network: A Probabilistic Perspective  + (IEEE Transactions on Automatic Control, 55(9):594-604)
• Flight dynamics and control of evasive maneuvers: the fruit fly's takeoff  + (IEEE Transactions on Biomedical Engineering, 56(9), 2009 (To appear))
• Asynchronous Distributed Averaging on Communication Networks  + (IEEE/ACM Transactions on Networking, 15(3):512 - 520)
• A bio-plausible design for visual pose stabilization  + (IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2010 (To appear))
• Resource optimisation in a wireless sensor network with guaranteed estimator performance  + (IET Control Theory and Applications, 4(5):710-723)

• Stability and Performance of Non-Homogeneous Multi-Agent Systems on a Graph  + (IFAC World Congress, 2010 (Submitted))
• Decentralized Multi-Agent Optimization via Dual Decomposition  + (IFAC World Congress, 2011 (Submitted))
• On Measures of Non-Integrability of Pfaffian Systems  + (IFAC World Congress, July 1996)
• Online Control Customization via Optimization-Based Control  + (In <i>Software-Enabled Control: Information Technology for Dynamical Systems</i>, T. Samad and G. Balas (eds.), IEEE Press, 2001 (submitted))
• Geometric Approaches to Control in the Presence of Magnitude and Rate Saturations  + (In <i>The Astrom Symposium on Control</i>, pp. 43-72)
• Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems  + (International Conference on Embedded Software (EMSOFT))
• TuLiP: A Software Toolbox for Receding Horizon Temporal Logic Planning  + (International Conference on Hybrid Systems: Computation and Control (HSCC))
• Receding Horizon Control for Temporal Logic Specifications  + (International Conference on Hybrid Systems: Computation and Control (HSCC))
• A bootstrappable bio-plausible design for visual pose stabilization  + (International Conference on Robotics and Automation (ICRA), 2010 (Submitted))
• Automatic Conversion Software for the Safety Verification of Goal-Based Control Programs  + (International Conference on Software Engineering, 2009 (submitted))