426 citations · 651 across the 43 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
math.OC2010
Symbolic Approximate Time-Optimal Control
Manuel Mazo, Paulo Tabuada
There is an increasing demand for controller design techniques capable of addressing the complex requirements of todays embedded applications. This demand has sparked the interest…
math.OC2010★ 4 cited
Decentralized event-triggered control over wireless sensor/actuator networks
Manuel Mazo, Paulo Tabuada
In recent years we have witnessed a move of the major industrial automation providers into the wireless domain. While most of these companies already offer wireless products for me…
math.OC2010★ 3 cited
Symbolic models for nonlinear control systems without stability assumptions
Majid Zamani, Giordano Pola, Manuel Mazo +1
Finite-state models of control systems were proposed by several researchers as a convenient mechanism to synthesize controllers enforcing complex specifications. Most techniques fo…