-
2
-
-
0029637354
-
The Algorithmic Analysis of Hybrid Systems
-
R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis and S. Yovine, The Algorithmic Analysis of Hybrid Systems, Theoretical Computer Science 138, 3-34, 1995.
-
(1995)
Theoretical Computer Science
, vol.138
, pp. 3-34
-
-
Alur, R.1
Courcoubetis, C.2
Halbwachs, N.3
Henzinger, T.A.4
Ho, P.-H.5
Nicollin, X.6
Olivero, A.7
Sifakis, J.8
Yovine, S.9
-
3
-
-
84930582553
-
Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy
-
P.S. Thiagarajan (Ed.), LNCS, Springer
-
E. Asarin and O. Maler, Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy, in P.S. Thiagarajan (Ed.), Proc. FST/TCS'95, 471-483, LNCS 1026, Springer, 1995.
-
(1995)
Proc. FST/TCS'95
, vol.1026
, pp. 471-483
-
-
Asarin, E.1
Maler, O.2
-
4
-
-
0029637375
-
Reachabitity Analysis of Dynamical Systems having Piecewise-Constant Derivatives
-
A. Asarin, O. Maler and A. Pnueli, Reachabitity Analysis of Dynamical Systems having Piecewise-Constant Derivatives, Theoretical Computer Science 138, 35-66, 1995.
-
(1995)
Theoretical Computer Science
, vol.138
, pp. 35-66
-
-
Asarin, A.1
Maler, O.2
Pnueli, A.3
-
5
-
-
0042257199
-
Symbolic Controller Synthesis for Discrete and Timed Systems
-
P. Antsaklis, W. Kohn, A. Nerode and S. Sastry(Eds.), Springer
-
E. Asarin, O. Maler and A. Pnueli, Symbolic Controller Synthesis for Discrete and Timed Systems, in P. Antsaklis, W. Kohn, A. Nerode and S. Sastry(Eds.), Hybrid Systems II, LNCS 999, Springer, 1995.
-
(1995)
Hybrid Systems II, LNCS
, vol.999
-
-
Asarin, E.1
Maler, O.2
Pnueli, A.3
-
8
-
-
84957378362
-
Verifying Safety Properties of Differential Equations
-
M.R. Greenstreet, Verifying Safety Properties of Differential Equations, in Proc. CAV'96, 277-287, 1996.
-
(1996)
Proc. CAV'96
, pp. 277-287
-
-
Greenstreet, M.R.1
-
9
-
-
84957884496
-
Integrating Projections, these proceedings. T.A. Henzinger and H. Wong-Toi, Linear Phase-Portrait Approximation for Nonlinear Hybrid Systems
-
R. Alur, T.A. Henzinger and E.D. Sontag (Eds.), LNCS, Springer
-
M.R. Greenstreet and I. Mitchell, Integrating Projections, these proceedings. T.A. Henzinger and H. Wong-Toi, Linear Phase-Portrait Approximation for Nonlinear Hybrid Systems, in R. Alur, T.A. Henzinger and E.D. Sontag (Eds.), Hybrid Systems III, 377-388, LNCS 1066, Springer, 1996.
-
(1996)
Hybrid Systems III
, vol.1066
, pp. 377-388
-
-
Greenstreet, M.R.1
Mitchell, I.2
-
10
-
-
0001954045
-
What's Decidable about Hybrid Automata?
-
T.A. Henzinger, P.W. Kopke, A. Puri and P. Varaiya, What's Decidable about Hybrid Automata?, Proc. 27th STOC, 373-382, 1995.
-
(1995)
Proc. 27th STOC
, pp. 373-382
-
-
Henzinger, T.A.1
Kopke, P.W.2
Puri, A.3
Varaiya, P.4
-
13
-
-
84957702766
-
Multiobjective Hybrid Controller Synthesis
-
O. Maler (Ed.), LNCS, Springer
-
J. Lygeros, C. Tomlin and S. Sastry, Multiobjective Hybrid Controller Synthesis, in O. Maler (Ed.), Proc. Int. Workshop on Hybrid and Real-Time Systems, 109-123, LNCS 1201, Springer, 1997.
-
(1997)
Proc. Int. Workshop on Hybrid and Real-Time Systems
, vol.1201
, pp. 109-123
-
-
Lygeros, J.1
Tomlin, C.2
Sastry, S.3
-
14
-
-
84969355954
-
Varaiya, ε-Approximation of Differential Inclusions
-
R. Alur, T.A. Henzinger and E.D. Sontag (Eds.), LNCS, Springer
-
A. Puri, V. Borkar and P. Varaiya, ε-Approximation of Differential Inclusions, in R. Alur, T.A. Henzinger and E.D. Sontag (Eds.), Hybrid Systems III, 363-376, LNCS 1066, Springer, 1996.
-
(1996)
Hybrid Systems III
, vol.1066
, pp. 363-376
-
-
Puri, A.1
Borkar, V.2
-
15
-
-
0003213509
-
Decidability of Hybrid Systems with Rectangular Differential Inclusions
-
D. Dill (Ed.), LNCS, Springer
-
A. Puri and P. Varaiya, Decidability of Hybrid Systems with Rectangular Differential Inclusions, in D. Dill (Ed.), Proc. CAV '94, LNCS 1066, Springer, 1996.
-
(1996)
Proc. CAV '94
, vol.1066
-
-
Puri, A.1
Varaiya, P.2
-
16
-
-
0024479313
-
The Control of Discrete Event Systems
-
P.J. Ramadge and W.M. Wonham, The Control of Discrete Event Systems, Proc. of the IEEE 77, 81-98, 1989.
-
(1989)
Proc. Of the IEEE
, vol.77
, pp. 81-98
-
-
Ramadge, P.J.1
Wonham, W.M.2
-
17
-
-
84931009749
-
-
Cambridge
-
J.A. Sethian, Level Set Methods: Evolving Interfaces in Geometry, Fluid Mechanics, Computer Vision, and Materials Science, Cambridge, 1996.
-
(1996)
Level Set Methods: Evolving Interfaces in Geometry, Fluid Mechanics, Computer Vision, and Materials Science
-
-
Sethian, J.A.1
-
19
-
-
33845389835
-
Conflict Resolution for Air Traffic Management: A Study in Multi-Agent Hybrid Systems
-
to appear
-
C. Tomlin, G. Pappas, and S. Sastry, Conflict Resolution for Air Traffic Management: A Study in Multi-Agent Hybrid Systems, IEEE Trans. On Automatic Control, to appear.
-
IEEE Trans. On Automatic Control
-
-
Tomlin, C.1
Pappas, G.2
Sastry, S.3
|