| 2008 |
|---|
| 8 | EE | Christian G. Claudel,
Alexandre M. Bayen:
Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components.
HSCC 2008: 101-115 |
| 7 | EE | Saurabh Amin,
Falk M. Hante,
Alexandre M. Bayen:
On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries.
HSCC 2008: 602-605 |
| 6 | EE | Baik Hoh,
Marco Gruteser,
Ryan Herring,
Jeff Ban,
Daniel Work,
Juan Carlos Herrera,
Alexandre M. Bayen,
Murali Annavaram,
Quinn Jacobson:
Virtual trip lines for distributed privacy-preserving traffic monitoring.
MobiSys 2008: 15-28 |
| 2007 |
|---|
| 5 | EE | Alexandre M. Bayen,
Christian G. Claudel,
Patrick Saint-Pierre:
Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation.
HSCC 2007: 645-649 |
| 2006 |
|---|
| 4 | EE | Issam S. Strub,
Alexandre M. Bayen:
Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation Networks.
HSCC 2006: 552-567 |
| 2004 |
|---|
| 3 | EE | Alexandre M. Bayen,
Robin L. Raffard,
Claire Tomlin:
Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways.
HSCC 2004: 95-110 |
| 2003 |
|---|
| 2 | | Claire Tomlin,
Ian Mitchell,
Alexandre M. Bayen,
Meeko Oishi:
Computational techniques for the verification of hybrid systems.
Proceedings of the IEEE 91(7): 986-1001 (2003) |
| 2002 |
|---|
| 1 | EE | Alexandre M. Bayen,
Eva Crück,
Claire Tomlin:
Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques.
HSCC 2002: 90-104 |
