Math-Oc
Synthesis of Distributed Control and Communication Schemes from Global LTL Specifications
Online Robust Subspace Tracking from Partial Information
A Formal Verification Approach to the Design of Synthetic Gene Networks
A distributed optimization-based approach for hierarchical model predictive control of large-scale systems with coupled dynamics and constraints
Multiple verification in computational modeling of bone pathologies
An observability for parabolic equations from a measurable set in time
Curse of dimensionality reduction in max-plus based approximation methods: theoretical estimates and improved pruning algorithms
Limits on the Benefits of Energy Storage for Renewable Integration
Distributed Algorithms for Consensus and Coordination in the Presence of Packet-Dropping Communication Links - Part I: Statistical Moments Analysis Approach
Distributed Linear Parameter Estimation: Asymptotically Efficient Adaptive Strategies
Online Learning for Combinatorial Network Optimization with Restless Markovian Rewards
Closed-loop control of a reaction-diffusion system
Numerical approximation of Nash equilibria for a class of non-cooperative differential games
Sensitivity And Out-Of-Sample Error in Continuous Time Data Assimilation
Fuzzy Consensus and Synchronization: Theory and Application to Critical Infrastructure Protection Problems
Spherical coverage verification
Distributed Consensus of Linear Multi-Agent Systems with Adaptive Dynamic Protocols
Sensor Management: Past, Present, and Future
Storage Size Determination for Grid-Connected Photovoltaic Systems
The Meaning of Structure in Interconnected Dynamic Systems
Bounding Procedures for Stochastic Dynamic Programs with Application to the Perimeter Patrol Problem
Exploiting the Passive Dynamics of a Compliant Leg to Develop Gait Transitions
