 |
 |
|
|
|
|
|
| |
Theses:
|
|
| Aaron
D.
Ames
|
| A
Categorical Theory
of Hybrid Systems |
| PhD
dissertation,
Electrical
Engineering
and
Computer
Sciences,
University
of
California,
Berkeley
2006 |
|
|
|
| Aaron
D. Ames |
| Hyrid
Model Structures |
| Master
Thesis, Mathematics, University of California, Berkeley 2006 |
|
|
|
|
|
| |
Publications:
A more frequently updated list of
publications (including recently submitted papers) can be found Here
Jump to
publications from:
|
|
A.
D. Ames, K. Galloway, J. W. Grizzle, and K. Sreenath
|
Rapidly
Exponentially Stabilizing Control Lyapunov Functions and Hybrid Zero
Dynamics.
|
Conditionally
accepted to the IEEE Transactions on Automatic Control, 2013.
[Note: linked paper is the submitted version and will be updated]
|
|
|
|
M.
Powell, A. Hereid and A. D. Ames
|
Speed Regulation in 3D Robotic
Walking through Motion Transitions between Human-Inspired Partial
Hybrid Zero Dynamics.
|
To
appear in the IEEE International Conference on Robotics and
Automation, 2013.
|
|
|
|
A.
D. Ames
|
Human-Inspired Control of
Bipedal Walking Robots.
|
Conditionally
accepted for publication in IEEE Transactions on Automatic Control,
2013.
|
|
|
|
A.
D. Ames
|
Human-Inspired Control of
Bipedal Robotics via Control Lyapunov Functions and Quadratic Programs.
|
In
Hybrid Systems: Computation and Control, 2013
[Extended abstract accompanying keynote presentation for HSCC 2013]
|
|
2012
|
|
S.
Nadubettu Yadukumar and A. D. Ames
|
Achieving Bipedal Locomotion on
Rough Terrain through Human-Inspired Control
|
In
the IEEE International Symposium on Safety, Security, and
Rescue Robotics, 2012
|
|
|
|
R.
W. Sinnet, S. Jiang and A. D. Ames.
|
A Human-Inspired Framework for
Bipedal Robotic Walking Design.
|
To
appear in the International Journal of Biomechatronics and Biomedical
Robotics, 2012.
|
|
|
|
A.
D. Ames, K. Galloway and J. W. Grizzle.
|
Control Lyapunov Functions and
Hybrid Zero Dynamics.
|
In
the IEEE Conference on Decision and Control (CDC),
2012.
|
|
|
|
S.
Nadubettu Yadukumar, M. Pasupuleti and A. D. Ames.
|
Human-Inspired Underactuated
Bipedal Robotic Walking with AMBER on Flat-ground, Up-slope and Uneven
Terrain.
|
In
IEEE/RSJ International Conference on Intelligent Robots and Systems
(IROS), 2012.
|
|
|
|
H.
Zhao, S. Nadubettu Yadukumar, and A. D. Ames.
|
Bipedal Robotic Running with
Partial Hybrid Zero Dynamics and Human-Inspired Optimization.
|
In
IEEE/RSJ International Conference on Intelligent Robots and Systems
(IROS), 2012.
|
|
|
|
R.
W. Sinnet and A. D. Ames.
|
Bio-Inspired Feedback Control of
Three-Dimensional Humanlike Bipedal Robots.
|
Journal
of
Robotics
and Mechatronics, Special Issue on Focused areas and future
trends in bio-inspired robots, Vol. 24, No. 4, Aug. 2012.
|
|
|
|
S.
Nadubettu Yadukumar, M. Pasupuleti and A. D. Ames.
|
From Formal Methods to
Algorithmic Implementation of Human Inspired Control on Bipedal Robots.
|
In
the Tenth International Workshop on the Algorithmic Foundations of
Robotics (WAFR), 2012.
|
|
|
|
R.
Vasudevan, A. D. Ames and R. Bajcsy
|
Persistent Homology for Automatic
Determination of Human-Data Based Cost of Bipedal Walking
|
Accepted
for
publication
in:
Nonlinear
Analysis: Hybrid System, 2012.
(Note: the linked file is the
submitted version. The final version, with minor modifications,
will be uploaded in the near
future.)
|
|
|
|
A.
Lamperski and A. D. Ames
|
Lyapunov Theory for Zeno Stability
|
Accepted
for
publication
in
the
IEEE
Transactions on Automatic Control,
2012.
(Note: the linked file is the
submitted version. The final version, with minor modifications,
will be uploaded in the near
future.)
|
|
|
|
R.
W. Sinnet and A. D. Ames
|
Extending Two-Dimensional
Human-Inspired Bipedal Robotic Walking to Three Dimensions through
Geometric Reduction
|
In
the American Control Conference (ACC), 2012.
|
|
|
|
S.
Jiang, S. Patrick, H. Zhao, and A. D. Ames
|
Outputs of Human Walking for Bipedal
Robotic Controller Design
|
In
the American Control Conference (ACC), 2012.
|
|
|
|
S.
Nadubettu Yadukumar, B. Kothapalli, and A. D. Ames
|
Zeno Behavior in Electromechanical
Hybrid Systems: From Theory to Experimental Validation
|
To
appear in the American Control Conference (ACC), 2012.
|
|
|
|
M.
J. Powell, H. Zhao, and A. D. Ames
|
| Motion Primatives for Human-Inspired
Bipedal Robotic Locomotion: Walking and Stair Climbing |
To
appear in the IEEE International Conference on Robotics and Automation
(ICRA),
2012.
|
|
|
|
A.
D. Ames
|
| First Steps Toward Underactuated
Human-Inspired Bipedal Robotic Walking |
To
appear in the IEEE International Conference on Robotics and Automation
(ICRA),
2012.
|
|
|
|
| A.
D. Ames, E. A. Cousineau, M. J. Powell |
| Dynamically Stable Robotic Walking with
NAO via Human-Inspired Hybrid Zero Dynamics |
To
appear in Hybrid Systems, Computation and Control (HSCC) 2012.
|
|
|
|
| E.
D. B. Wendel and A. D. Ames |
| Rank Deficiency and Superstability of
Hybrid Systems |
| Nonlinear
Analysis:
Hybrid
Systems,
Vol.
6(2),
pages
787-805,
2012.
|
|
|
|
| A.
D. Ames |
| First
Steps
Toward
Automatically
Generating
Bipedal
Robotic
Walking
from
Human
Data |
| In 8th International Workshop on Robotic
Motion and Control, RoMoCo'11. Appeared as a book chapter in Robotic
Motion
and
Control,
2011, K.
Kozlowski eds, Lecture Notes in Control and Information Sciences,
Volume 422, pages 89-116, 2012. |
|
|
|
| R.
W. Sinnet, M. J. Powell, Shu Jiang and A. D. Ames |
| Compass
Gait
Revisited:
A
Human
Data
Perspective
with
Extensions
to
Three
Dimensions |
| In:
50th
IEEE
Conference
on
Decision and Control and
European Control Conferenc, 2011 |
|
|
|
| R.
W. Sinnet, Huihua Zhao and A. D. Ames |
| Simulating
Prosthetic
Devices
with
Human-Inspired
Hybrid
Control |
| In:
2011
IEEE/RSJ
International
Conference
on
Intelligent
Robots
and
Systems
(IROS11),
San
Francisco,
2011. |
|
|
|
| E.
D. B. Wendel and A. D. Ames |
| Rank Deficiency and Superstability of
Hybrid Systems with Application to Bipedal Robots. |
| In:
50th
IEEE
Conference
on
Decision and Control and
European Control Conference, 2011. |
|
|
|
R.
Sinnet, M. Powell, R. Shah and A. D. Ames
|
A Human-Inspired Hybrid Control Approach to
Bipedal Robotic Walking
|
In: 18th IFAC World
Congress, Milano, Italy, 2011
|
|
|
|
R.
Vasudevan, A. D. Ames and R. Bajcsy
|
Using Persistent Homology to Determine a
Human-Data Based Cost for Bipedal Walking
|
In: 18th IFAC World Congress,
Milano, Italy, 2011
|
|
|
|
W.
Taha, P. Brauner, R. Cartwright, V. Gaspes and A.D. Ames.
|
| A
Core
Language
for
Executable
Models
of
Cyber
Physical
Systems
|
In: ACM/IEEE 2nd International
Conference on Cyber-Physical Systems (ICCPS), 2011
|
|
|
|
A.
D. Ames
|
Characterizing Knee-Bounce in Bipedal
Robotic Walking: A Zeno Behavior Approach
|
| In:
Hybrid
Systems:
Computation
and
Control
(HSCC),
2011
|
|
|
|
| A.
D. Ames, R. Vasudevan and R. Bajcsy |
Human-Data Based Cost of Bipedal Robotic
Walking
|
| In:
Hybrid
Systems:
Computation
and
Control
(HSCC),
2011
|
|
|
|
| J.
W. Grizzle, C. Chevallereau, A. D. Ames and R. Sinnet |
3D Bipedal Robotic Walking: Models,
Feedback Control, and Open Problems
|
| In:
8th
IRAC
Symposium
on
Nonlinear
Control
Systems
(NOLCOS),
Bologna
Italy,
2010
|
|
|
|
| E.
Wendel and A. D. Ames |
Rank
Properties of Poincare Maps for Hybrid Systems with Applications to
Bipedal Walking
|
| In
Hybrid Systems:
Computation and Control, 2010 |
|
|
|
| Y.
Zhu, E. Westbrook, J. Inoue, A. Chapoutot, C. Salama, M. Peralta, T.
Martin, W. Taha, M. O'Malley, R. Cartwright, A.D. Ames, and R.
Bhattacharya |
| Mathematical
Equations
as
Executable
Models
of
Mechanical
Systems
|
| In
the First
International Conference on Cyber-Physical Systems (ICCPS), 2010 |
|
|
|
| A.
D. Ames, R. Sinnet and E. Wendel |
Three-dimensional
Kneed Bipedal Walking: A Hybrid Geometric Approach
|
| In:
P.
Tabuada
and
R.
Majumdar,
editors,
Hybrid Systems: Computation and Control, volume 5469
Lecture Notes in Computer Science, pages 16-30. Springer-Verlag,
2009. |
|
|
|
| Y.
Or and A. D. Ames |
| Existence
of
Periodic
Orbits
in
Completed
Lagrangian
Hybrid
Systems
with
Non-Plastic
Impacts
|
| In:
P.
Tabuada
and
R.
Majumdar,
editors,
Hybrid Systems: Computation and Control,
volume 5469 Lecture Notes in Computer Science, pages 291-305.
Springer-Verlag, 2009. |
|
|
|
| R.
Sinnet and A. D. Ames |
| 2D
Bipedal Walking with Knees and Feet: A Hybrid Control Approach |
| In:
48th
IEEE
Conference
on
Decision
and
Control (CDC), 2009 |
|
|
|
| R.
Sinnet and A. D.
Ames |
| 3D
Bipedal Walking with Knees and Feet: A Hybrid Geometric Approach |
| In:
48th
IEEE
Conference
on
Decision
and
Control, 2009 |
|
|
|
| Y.
Or and A. D. Ames |
| Formal
and
Practical
Completion
of
Lagrangian
Hybrid
Systems
|
| In:
American
Control
Conference
(ACC),
2009 |
|
|
|
| A.
D. Ames, R. Murphy,
D. Woods, J. Valasek and T. Zourntos |
| Human-Cyber-Physical
Systems
for
Emergency
Response
|
| In:
IEEE/RSJ
International
Conference
on
Intelligent
Robot
Systems, 2008 |
|
|
|
| Y.
Or and A. D. Ames |
| Stability
of
Zeno
Equilibria
in
Lagrangian
Hybrid
Systems
|
In:
47th
IEEE
Conference
on
Decision
and Control, 2008 |
|
|
|
| A.
Lamperski and A. D.
Ames |
| On
the Existence of Zeno Behavior in Hybrid Systems with Non-Isolated Zeno
Equilibria |
In:
47th
IEEE
Conference
on
Decision
and Control, 2008 |
|
|
|
| Aaron
D.
Ames
and
John
C.
Doyle
|
| Complexity
and
Fragility
in
Stability
|
| In:
American
Control
Conference
(ACC),
2008 |
|
|
|
| Andy
Lamperski
and
Aaron
D.
Ames |
| Sufficient
Conditions
for
Zeno
Behavior
in
Lagrangian
Hybrid
Systems |
| In:
Hybrid
Systmes:
Computation
and
Control (HSCC),
2008 |
|
|
|
| Paulo
Tabuada,
Aaron
D.
Ames,
Agung
Julius
and
George
J.
Pappas |
| Approximate
Reduction
of
Dynamical
Systems |
In:
Systems and Control Letters, 57(7), 538-545, July 2008.
|
|
|
|
| Aaron
D.
Ames,
Robert
D.
Gregg
and
Mark
W.
Spong |
| A
Geometric Approach
to Three-Dimensional Hipped Bipedal Robotic Walking |
| In:
IEEE
Conference
on
Decision
and Control (CDC), 2007 |
|
|
|
| Aaron
D.
Ames,
Alessandro
Abate
and
Shankar
Sastry |
| Sufficient
Conditions
for
the
Existence
of
Zeno
Behavior
in
Nonlinear
Hybrid
Systems
via
Constant
Approximations |
| In:
IEEE
Conference
on
Decision
and Control (CDC), 2007 |
|
|
|
| David
Pekarek,
Aaron
D.
Ames
and
Jerrold
E.
Marsden |
| Discrete
Mechanics
and
optimal
Control
Applied
to
the
Compass
Gait
Biped
|
| In:
IEEE
Conference
on
Decision
and Control (CDC), 2007 |
|
|
|
| Andrew
Lamperski
and
Aaron
D.
Ames
|
| Lyapunov-Like
Conditions
for
the
Existence
of
Zeno
Behavior
in
Hybrid
and
Lagrangian
Hybrid
Systems |
| In:
IEEE
Conference
on
Decision
and Control (CDC), 2007 |
|
|
|
| Aaron
D.
Ames |
| Homotopy
Meaningful
Hybrid
Model
Structures |
In
M.
Burger and M. Farber and R. Ghrist and D. Koditschek, editors,
Topology and Robotics,
Contemporary Mathematics, pages 121-144. American Mathematical Society,
2007
|
|
|
|
| Aaron
D.
Ames
and
Robert
D.
Gregg |
| Stably
Extending
Two-Dimensional
Bipedal
Walking
to
Three
Dimensions |
In:
the
American
Control
Conference
(ACC),
2007
|
|
|
|
| Sumitra
Ganesh,
Aaron
D.
Ames
and
Ruzena
Bajcsy |
| Composition
of
Dynamical
Systems
for
Estimation
of
Human
Body
Dynamics |
| In:
Hybrid
Systems:
Computation
and
Control
2007 |
|
|
|
| Aaron
D.
Ames
and
Shankar
Sastry.
|
Hybrid
Geometric Reduction of Hybrid Systems
|
In: 45th
IEEE Conference on Decision
and
Control,
San
Diego,
CA,
2006.
(Awarded
best
paper
of
session.)
|
|
|
|
| P.
Tabuada, A. D.
Ames, A. Julius and G. Pappas. |
Approximate
Reduction of Dynamical Systems
|
In:
45th
IEEE
Conference
on
Decision
and Control, San Diego, CA, 2006. |
|
|
|
| Aaron
D.
Ames,
Robert
D.
Gregg,
Eric
D.B.
Wendel
and
Shankar
Sastry.
|
On
the Geometric Reduction of Controlled Three-Dimensional Bipedal Robotic
Walkers
|
In: 3rd Workshop on
Lagrangian and Hamiltonian Methods for Nonlinear Control (LHMNL'06),
Nagoya Japan.
|
|
|
|
| Aaron
D.
Ames
and
Shankar
Sastry.
|
Hybrid
Routhian Reduction of Lagrangian Hybrid Systems
|
| In:
American
Control
Conference
(ACC),
Minneapolis, MN, 2006. |
|
|
|
| Aaron
D.
Ames
and
Shankar
Sastry.
|
Hybrid
Cotangent Bundle Reduction of Simple Hybrid Mechanical Systems with
Symmetry
|
| In:
American
Control
Conference
(ACC),
Minneapolis, MN, 2006. |
|
|
|
| Aaron
D.
Ames,
Haiyang
Zheng,
Robert
Gregg
and
Shankar
Sastry.
|
Is
there Life after Zeno? Taking Executions past the Breaking (Zeno)
Point.
|
| In:
American
Control
Conference
(ACC),
Minneapolis, MN, 2006. |
|
|
|
| Alessandro
Abate,
Aaron
D.
Ames
and
Shankar
Sastry.
|
Error-Bounds
Based Stochastic Approximations and Simulations of Hybrid Dynamical
Systems
|
| In:
American
Control
Conference
(ACC),
Minneapolis, MN, 2006. |
|
|
|
| Alessandro
Abate,
Aaron
D.
Ames
and
Shankar
Sastry.
|
A-Priori
Detection of Zeno Behavior in Communication Networks Modeled as Hybrid
Systems
|
| In:
American
Control
Conference
(ACC),
Minneapolis, MN, 2006. |
|
|
|
| Aaron
D.
Ames,
Paulo
Tabuada
and
Shankar
Sastry.
|
On the
Stability of Zeno Equilibria
|
| In:
Hybrid
Systems:
Computation
and
Control
(HSCC),
Santa Barbara, CA, 2006. |
|
|
|
| Haiyang
Zheng,
Edward
A.
Lee
and
Aaron
D.
Ames
|
Beyond
Zeno: Get on with it!
|
| In:
Hybrid
Systems:
Computation
and
Control
(HSCC),
Santa Barbara, CA, 2006. |
|
|
|
| Aaron
D.
Ames,
Alberto
Sangiovanni-Vincentelli
and
Shankar
Sastry.
|
| Homogenous
Semantic
Preserving
Deployments
of
Heterogenous
Networks
of
Embedded
Systems.
|
| In:
Workshop
on
Networked
Embedded
Sensing
and
Control
(to
appear),
Notre
Dame,
IN,
Oct.,
17--18,
2005.
|
|
|
|
| Aaron
D.
Ames,
Alessandro
Abate
and
Shankar
Sastry.
|
| Sufficient
Conditions
for
the
Existence
of
Zeno
Behavior.
|
| In:
44th
IEEE
Conference
on
Decision
and
Control
and
European
Control
Conference
ECC
2005
(CDC-ECC'05),
Seville,
Spain,
Dec.,
12--15,
2005. |
|
|
|
| Jonathan
Sprinkle,
Aaron
D.
Ames
and
Shankar
Sastry.
|
| On
the
Partitioning of Syntax and Semantics For
Hybrid Systems Tools. |
| In:
44th
IEEE
Conference
on
Decision
and
Control
and
European
Control
Conference
ECC
2005
(CDC-ECC'05),
Seville,
Spain,
Dec.,
12--15,
2005. |
|
|
|
| Jonathan
Sprinkle,
Aaron
D.
Ames,
J.
Mikael
Eklund,
Ian
M.
Mitchell
and
Shankar
Sastry.
|
Online
Safety
Calculations
for
Glide-Slope
Recapture.
|
In: Inovations in Systems
and Software Engineering, Vol. 1, no. 2, Jul., 2005.
|
|
|
|
| Aaron
D.
Ames
and
Shankar
Sastry.
|
| Characterization
of
Zeno
Behavior
in
Hybrid
Systems
using
Homological
Methods.
|
| In:
the
24th
American
Control
Conference
2005
(ACC’05),
Portland, OR,
2005. |
|
|
|
| Alessandro
Abate,
Aaron
D.
Ames
and
Shankar
Sastry.
|
| Stochastic
Approximations
of
Hybrid
Systems.
|
| In:
the
24th
American
Control
Conference
2005
(ACC’05),
Portland, OR,
2005. |
|
|
|
| Aaron
D.
Ames
and
Shankar
Sastry.
|
| A
Homology Theory for Hybrid Systems: Hybrid
Homology. |
| In:
Hybrid
Systems:
Computation
and
Control,
8th
International Workshop, Proc., Zurich, Switzerland, March 9-11, M.
Morari and
L. Thiele, eds., vol. 3414 of Lecture Notes in Computer Science,
Springer-Verlag, pp. 86-102, 2005. |
|
|
|
| Aaron
D.
Ames
and
Shankar
Sastry.
|
| Blowing
Up
Affine
Hybrid
Systems.
|
| In:
43rd
IEEE
Conference
on
Decision
and
Control
2004
(CDC'04),
Atlantis,
Paradise
Island,
Bahamas,
Dec.
2004,
pp.
473-478.
|
|
|
|
| Aaron
D.
Ames
and
Shankar
Sastry.
|
| Affine
Hybrid
Systems.
|
| In:
Hybrid
Systems:
Computation
and
Control,
7th
International Workshop, Proc., Philadelphia, PA, USA,
March 25-27, R. Alur and G. J. Pappas, eds., vol. 2993 of Lecture Notes
in
Computer Science, Springer-Verlag, pp. 16-31, 2004. |
|
|
|
| Aaron
D.
Ames,
J.
A.
Jalkio
and
C.
Shakiban.
|
| Three-Dimensional
Object
Recognition
Using
Invariant
Euclidean
Signature
Curves.
|
| In:
the
Proceeding
of
the
International
Symposium
on
Analysis, Combinatorics and Computing, held August 5-8, 2000.
Also
available in Analysis,
Combinatorics
and
Computing, pg. 13-23, Nova Scientific Publishing,
Inc. Commack, NY,
2002. |
|
Technical
Reports and Unpublished Notes:
|
|
| Aaron
D.
Ames
and
Paulo
Tabuada
|
| H-Categories
and
Graphs.
|
| Unpublished
Note.
|
|
Selected Presentations:
|
|
| Sufficient
Conditions
for
the
Existence
of
Zeno
Behavior
in
a
Class
of
Nonlinear
Hybrid
Systems
via
Constant
Approximations |
| Presented
at
the
CDC
2007,
New
Orleans
LA |
|
|
|
| A
Geometric Approach to Three-Dimensional
Hipped Bipedal Robotic Walking |
| Presented
at
the
CDC
2007,
New
Orleans,
LA |
|
|
|
| Stably
Extending
Two-Dimensional
Bipedal
Walking
to
Three
Dimensions |
| Presented
at
the
ACC
2007,
New
York,
NY |
|
|
|
| Hybrid
Geometric
Reduction
of
Hybrid
Systems |
| Presented
at
the
CDC
2006
,
San
Diego
CA |
|
|
|
| Stably
Extending
Two-Dimensional
Bipedal
Walking
to
Three
Dimensions
via
Geometric
Reduction |
| Presented
at
the
Systems
Science
Seminar,
University
of
Michigan,
December
2006 |
|
|
|
| Stably
Extending
Two-Dimensional
Bipedal
Walking
to
Three
Dimensions
via
Geometric
Reduction |
| Presented
at
the
Decision
and
Control
Seminar,
University
of
Illinois
at
Urbana-Champaign,
November
2006 |
|
|
|
| Hybrid
Model
Category
Structures
and
Homotopy
Colimits |
| Presented
at
the
Topology
Seminar,
University
of
Illinois
at
Urbana-Champaign,
November
2006 |
|
|
|
| Towards
the
Geometric
Reduction
of
Controlled
Three-Dimensional
Bipedal
Robotic
Walkers
|
| Presented
at
the
Workshop
on
Lagrangian
and
Hamiltonian
Methods
for
Nonlinear
Control,
Nagoya,
Japan
2006
|
|
|
|
| Hybrid
Model
Structures
(or
Hybrid
Homotopy
Theory)
|
| Presented
at
the
Workshop
on
Topology
and
Robotics,
ETH
Zurich,
2006
|
|
|
|
| Hybrid
Routhian
Reduction
of
Lagrangian
Hybrid
Systems
|
| Presented
at
ACC,
Minneapolis,
MN,
2006
|
|
|
|
| Hybrid
Cotangent
Bundle
Reduction
of
Simple
Hybrid
Mechanical
Systems
with
Symmetry
|
| Presented
at
ACC,
Minneapolis,
MN,
2006
|
|
|
|
| Is
there Life after Zeno? Taking Executions past the Breaking (Zeno)
Point. |
| Presented
at
ACC,
Minneapolis,
MN,
2006
|
|
|
|
| Thesis
Talk
|
| Presented
at
the
Berkeley
CHESS
seminar
|
|
|
|
| On
the
Stability of Zeno Equilibria |
| Presented
at
Hybrid
Systems:
Computation
and
Control,
Santa
Barbara,
CA
2006
|
|
|
|
| Homogeneous
Semantic
Preserving
Deployments
of
Heterogeneous
Networks
of
Embedded
Systems.
|
| Presented
at
the
Berkeley
seminar
on
Networked
Embedded
Systems.
|
|
|
|
| Sufficient
Conditions
for
the
Existence
of
Zeno
Behavior. |
| Presented
at
CDC-ECC'05
|
|
|
|
| Homogeneous
Semantic
Preserving
Deployments
of
Heterogeneous
Networks
of
Embedded
Systems.
|
| Presented
at
NESC
2005.
|
|
|
|
| A
Categorical Approach
to the Hybrid Reduction of Hybrid Symplectic Manifolds with Hybrid
Symmetry. |
| Presented
at
Notre
Dame.
|
|
|
|
| Characterization
of
Zeno
Behavior
in
Hybrid
Systems
using
Homological
Methods.
|
| Presented
at
ACC
2005.
|
|
|
|
| A
Homology Theory for
Hybrid Systems: Hybrid
Homology |
| Presented
at
HSCC
2005.
|
|
|
|
| Blowing
Up
Affine
Hybrid
Systems
|
| Presented
at
CDC
2004.
|
|
|
|
| Affine
Hybrid
Systems
|
| Presented
at
HSCC
2004.
|
|
|
|
| Blowing
Up
Affine
Hybrid
Systems
|
| Presented
at
the
Berkeley
CHESS
seminar
|
|
|
|
| A
Categorical Theory
of Hybrid Systems |
| Presented
at
the
Berkeley
CHESS
seminar
|
|
|
|
|
|
|
|
