-
1
-
-
34047230163
-
Error bounds based stochastic approximations and simulations of hybrid dynamical systems
-
A. Abate, A. D. Ames, and S. S. Sastry. Error bounds based stochastic approximations and simulations of hybrid dynamical systems. In Proc. 25th American Control Conference, pages 4742-4747, 2006.
-
(2006)
Proc. 25th American Control Conference
, pp. 4742-4747
-
-
Abate, A.1
Ames, A.D.2
Sastry, S.S.3
-
2
-
-
0242696613
-
Hierarchical modeling and analysis of embedded systems
-
R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. J. Pappas, and O. Sokolsky. Hierarchical modeling and analysis of embedded systems. Proc. of the IEEE, 91:11-28, 2003.
-
(2003)
Proc. of the IEEE
, vol.91
, pp. 11-28
-
-
Alur, R.1
Dang, T.2
Esposito, J.3
Hur, Y.4
Ivancic, F.5
Kumar, V.6
Lee, I.7
Mishra, P.8
Pappas, G.J.9
Sokolsky, O.10
-
4
-
-
0036257361
-
Impulse differential inclusions: A viability approach to hybrid systems
-
J.-P. Aubin, J. Lygeros, M. Quincampoix, S. S. Sastry, and N. Seube. Impulse differential inclusions: a viability approach to hybrid systems. IEEE Trans. Aut. Cont., 47(1):2-20, 2002.
-
(2002)
IEEE Trans. Aut. Cont
, vol.47
, Issue.1
, pp. 2-20
-
-
Aubin, J.-P.1
Lygeros, J.2
Quincampoix, M.3
Sastry, S.S.4
Seube, N.5
-
5
-
-
33745785879
-
A trajectory-space approach to hybrid systems
-
P. Collins. A trajectory-space approach to hybrid systems. In Proc. 16th MTNS, 2004.
-
(2004)
Proc. 16th MTNS
-
-
Collins, P.1
-
6
-
-
0026876816
-
Difference methods for differential inclusions: A survey
-
A. Dontchev and F. Lempio. Difference methods for differential inclusions: A survey. SIAM Review, 34:263-294, 1992.
-
(1992)
SIAM Review
, vol.34
, pp. 263-294
-
-
Dontchev, A.1
Lempio, F.2
-
9
-
-
85049442043
-
Hybrid systems: Generalized solutions and robust stability
-
R. Goebel, J.P. Hespanha, A.R. Teel, C. Cai, and R.G. Sanfelice. Hybrid systems: Generalized solutions and robust stability. In 6th IFAC NOLCOS, pages 1-12, 2004.
-
(2004)
6th IFAC NOLCOS
, pp. 1-12
-
-
Goebel, R.1
Hespanha, J.P.2
Teel, A.R.3
Cai, C.4
Sanfelice, R.G.5
-
10
-
-
33144463923
-
Solutions to hybrid inclusions via set and graphical convergence with stability theory applications
-
R. Goebel and A.R. Teel. Solutions to hybrid inclusions via set and graphical convergence with stability theory applications. Automatica, 42(4):573-587, 2006.
-
(2006)
Automatica
, vol.42
, Issue.4
, pp. 573-587
-
-
Goebel, R.1
Teel, A.R.2
-
11
-
-
0038394260
-
Algebraically stable and implementable Runge-Kutta methods of high order
-
E. Hairer and G. Wanner. Algebraically stable and implementable Runge-Kutta methods of high order. SIAM J. Numer. Anal., 18:1098-1108, 1981.
-
(1981)
SIAM J. Numer. Anal
, vol.18
, pp. 1098-1108
-
-
Hairer, E.1
Wanner, G.2
-
12
-
-
0028517853
-
Runge-Kutta methods for dissipative and gradient dynamical systems
-
A.R. Humphries and A. M. Stuart. Runge-Kutta methods for dissipative and gradient dynamical systems. SIAM J. Numer. Anal., 31:1452-1485, 1994.
-
(1994)
SIAM J. Numer. Anal
, vol.31
, pp. 1452-1485
-
-
Humphries, A.R.1
Stuart, A.M.2
-
13
-
-
6344221979
-
Discrete event simulation of hybrid systems
-
E. Kofman. Discrete event simulation of hybrid systems. SIAM Journal on Scientific Computing, 25(5): 1771-1797, 2004.
-
(2004)
SIAM Journal on Scientific Computing
, vol.25
, Issue.5
, pp. 1771-1797
-
-
Kofman, E.1
-
15
-
-
1942537327
-
A component-based approach to modeling and simulating mixed-signal and hybrid systems
-
J. Liu and E. A. Lee. A component-based approach to modeling and simulating mixed-signal and hybrid systems. ACM Transactions on Modeling and Computer Simulation, 12(4):343-368, 2002.
-
(2002)
ACM Transactions on Modeling and Computer Simulation
, vol.12
, Issue.4
, pp. 343-368
-
-
Liu, J.1
Lee, E.A.2
-
16
-
-
0033339684
-
A hierarchical hybrid system model and its simulation
-
J. Liu, X. Liu, T. J. Koo, B. Sinopoli, S.Sastry, and E. A. Lee. A hierarchical hybrid system model and its simulation. In Proc. 38th IEEE Conference on Decision and Control, volume 4, pages 3508-3513, 1999.
-
(1999)
Proc. 38th IEEE Conference on Decision and Control
, vol.4
, pp. 3508-3513
-
-
Liu, J.1
Liu, X.2
Koo, T.J.3
Sinopoli, B.4
Sastry, S.5
Lee, E.A.6
-
17
-
-
0037252690
-
Dynamical properties of hybrid automata
-
J. Lygeros, K.H. Johansson, S.N. Simić, J. Zhang, and S. S. Sastry. Dynamical properties of hybrid automata. IEEE Trans. Aut. Cont., 48(1):2-17, 2003.
-
(2003)
IEEE Trans. Aut. Cont
, vol.48
, Issue.1
, pp. 2-17
-
-
Lygeros, J.1
Johansson, K.H.2
Simić, S.N.3
Zhang, J.4
Sastry, S.S.5
-
18
-
-
0036346833
-
A hybrid modeling and simulation methodology for dynamic physical systems
-
P.J. Mosterman and G. Biswas. A hybrid modeling and simulation methodology for dynamic physical systems. Simulation, 78:5-17, 2002.
-
(2002)
Simulation
, vol.78
, pp. 5-17
-
-
Mosterman, P.J.1
Biswas, G.2
-
20
-
-
23944472991
-
Results on convergence in hybrid systems via detectability and an invariance principle
-
R.G. Sanfelice, R. Goebel, and A.R. Teel. Results on convergence in hybrid systems via detectability and an invariance principle. In Proc. 24th American Control Conference, pages 551-556, 2005.
-
(2005)
Proc. 24th American Control Conference
, pp. 551-556
-
-
Sanfelice, R.G.1
Goebel, R.2
Teel, A.R.3
-
21
-
-
33745781690
-
A feedback control motivation for generalized solutions to hybrid systems
-
J. P. Hespanha and A. Tiwari, editors
-
R.G. Sanfelice, R. Goebel, and A.R. Teel. A feedback control motivation for generalized solutions to hybrid systems. In J. P. Hespanha and A. Tiwari, editors, Hybrid Systems: Computation and Control: 9th International Workshop, volume LNCS 3927, pages 522-536, 2006.
-
(2006)
Hybrid Systems: Computation and Control: 9th International Workshop
, vol.LNCS 3927
, pp. 522-536
-
-
Sanfelice, R.G.1
Goebel, R.2
Teel, A.R.3
-
22
-
-
33847226267
-
On the partitioning of syntax and semantics for hybrid systems tools
-
J. Sprinkle, A. D. Ames, A. Pinto, H. Zheng, and S. S. Sastry. On the partitioning of syntax and semantics for hybrid systems tools. In Proc. 44th IEEE Conference on Decision and Control and European Control Conference, 2005.
-
(2005)
Proc. 44th IEEE Conference on Decision and Control and European Control Conference
-
-
Sprinkle, J.1
Ames, A.D.2
Pinto, A.3
Zheng, H.4
Sastry, S.S.5
-
24
-
-
1942536197
-
Hysdel - A tool for generating computational hybrid models for analysis and synthesis problems
-
F.D. Torrisi and A. Bemporad. Hysdel - A tool for generating computational hybrid models for analysis and synthesis problems. IEEE Transactions on Control Systems Technology, 12:235-249, 2004.
-
(2004)
IEEE Transactions on Control Systems Technology
, vol.12
, pp. 235-249
-
-
Torrisi, F.D.1
Bemporad, A.2
|