-
1
-
-
84957871339
-
Modularity for timed and hybrid systems
-
In A. Mazurkiewicz and J. Winkowski, editors. Springer-Verlag
-
R Alur and T A Henzinger. Modularity for timed and hybrid systems. In A. Mazurkiewicz and J. Winkowski, editors, CONCUR 97: Concurrency Theory, Lecture Notes in Computer Science 1243, pages 74-88. Springer-Verlag, 1997.
-
(1997)
CONCUR 97: Concurrency Theory, Lecture Notes in Computer Science
, vol.1243
, pp. 74-88
-
-
Alur, R.1
Henzinger, T.A.2
-
4
-
-
33646910241
-
Perspectives and results on the stability and stabilizability of hybrid systems
-
R. A. Decarlo, M. S. Branicky, S. Pettersson, and B. Lennartson. Perspectives and results on the stability and stabilizability of hybrid systems. Proc. of the IEEE, 88(7):1069-1082, 2000.
-
(2000)
Proc. of the IEEE
, vol.88
, Issue.7
, pp. 1069-1082
-
-
Decarlo, R.A.1
Branicky, M.S.2
Pettersson, S.3
Lennartson, B.4
-
8
-
-
0000241721
-
On the regularization of Zeno hybrid automata
-
K. H. Johansson, M. Egerstedt, J. Lygeros, and S. Sastry. On the regularization of Zeno hybrid automata. Systems & Control Letters, 38:141-150, 1999.
-
(1999)
Systems & Control Letters
, vol.38
, pp. 141-150
-
-
Johansson, K.H.1
Egerstedt, M.2
Lygeros, J.3
Sastry, S.4
-
9
-
-
0004862634
-
On the existence of solutions to controlled hybrid automata
-
Pittsburgh, PA
-
M. Lemmon. On the existence of solutions to controlled hybrid automata. In Hybrid Systems: Computation and Control, Pittsburgh, PA, 2000.
-
(2000)
Hybrid Systems: Computation and Control
-
-
Lemmon, M.1
-
10
-
-
0033325172
-
On the existence of executions of hybrid automata
-
Phoenix, AZ
-
J. Lygeros, K. H. Johansson, S. Sastry, and M. Egerstedt. On the existence of executions of hybrid automata. In IEEE Conference on Decision and Control, Phoenix, AZ, 1999.
-
(1999)
IEEE Conference on Decision and Control
-
-
Lygeros, J.1
Johansson, K.H.2
Sastry, S.3
Egerstedt, M.4
-
11
-
-
35248828823
-
Dynamical properties of hybrid automata
-
J. Lygeros, K. H. Johansson, S. N. Simíc, J. Zhang, and S. Sastry. Dynamical properties of hybrid automata. IEEE Transactions for Automatic Control, 2001. Submitted.
-
(2001)
IEEE Transactions for Automatic Control
-
-
Lygeros, J.1
Johansson, K.H.2
Simíc, S.N.3
Zhang, J.4
Sastry, S.5
-
13
-
-
0002798225
-
Control using logic-based switching
-
In Alberto Isidori, editor. Springer
-
A. S. Morse. Control using logic-based switching. In Alberto Isidori, editor, Trends in Control. A European Perspective, pages 69-113. Springer, 1995.
-
(1995)
Trends in Control. A European Perspective
, pp. 69-113
-
-
Morse, A.S.1
-
15
-
-
50549184010
-
Structural stability of two-dimensional manifolds
-
M. M. Peixoto. Structural stability of two-dimensional manifolds. Topology, 1:101-120, 1962.
-
(1962)
Topology
, vol.1
, pp. 101-120
-
-
Peixoto, M.M.1
-
17
-
-
84945583935
-
Towards a geometric theory of hybrid systems
-
S. N. Simíc, K. H. Johansson, J. Lygeros, and S. Sastry. Towards a geometric theory of hybrid systems. Mathematics of Control, Signals, and Systems, 2001. Submitted.
-
(2001)
Mathematics of Control, Signals, and Systems
-
-
Simíc, S.N.1
Johansson, K.H.2
Lygeros, J.3
Sastry, S.4
-
18
-
-
84974691266
-
Towards a geometric theory of hybrid systems
-
Pittsburgh, PA, Springer-Verlag
-
S. N. Simíc, K. H. Johansson, S. Sastry, and J. Lygeros. Towards a geometric theory of hybrid systems. In Hybrid Systems: Computation and Control, volume 1790 of Lecture Notes in Computer Science, pages 421-436, Pittsburgh, PA, 2000. Springer-Verlag.
-
(2000)
Hybrid Systems: Computation and Controlvol. 1790 of Lecture Notes in Computer Science
, pp. 421-436
-
-
Simíc, S.N.1
Johansson, K.H.2
Sastry, S.3
Lygeros, J.4
-
19
-
-
84968514104
-
Differentiable dynamical systems
-
S. Smale. Differentiable dynamical systems. Bull. Amer. Math. Soc, 73:747-817, 1967.
-
(1967)
Bull. Amer. Math. Soc
, vol.73
, pp. 747-817
-
-
Smale, S.1
-
20
-
-
0000829463
-
Differential automata and their discrete simulators
-
L. Tavernini. Differential automata and their discrete simulators. Nonlinear Analysis, Theory, Methods & Applications, 11(6):665-683, 1987.
-
(1987)
Nonlinear Analysis, Theory, Methods & Applications
, vol.11
, Issue.6
, pp. 665-683
-
-
Tavernini, L.1
-
22
-
-
0005038457
-
Dynamical systems revisited: Hybrid systems with Zeno executions
-
Pittsburgh, PA
-
J. Zhang, K. H. Johansson, J. Lygeros, and S. Sastry. Dynamical systems revisited: Hybrid systems with Zeno executions. In Hybrid Systems: Computation and Control, Pittsburgh, PA, 2000.
-
(2000)
Hybrid Systems: Computation and Control
-
-
Zhang, J.1
Johansson, K.H.2
Lygeros, J.3
Sastry, S.4
|