-
2
-
-
0033683775
-
Hybrid systems view of power system modeling
-
Geneva, Switzerland
-
A. Hiskens and M.A. Pai, "Hybrid systems view of power system modeling," ISCAS 2000, Geneva, Switzerland, 2000.
-
(2000)
ISCAS 2000
-
-
Hiskens, A.1
Pai, M.A.2
-
3
-
-
0033878157
-
Trajectory sensitivity analysis of hybrid systems
-
A. Hiskens and M.A. Pai, "Trajectory sensitivity analysis of hybrid systems," IEEE Transactions on Circuits and Systems-Part I: Fundamental Theory and Applications, vol. 47, no. 2, pp. 204-220, 2000.
-
(2000)
IEEE Transactions on Circuits and Systems-part I: Fundamental Theory and Applications
, vol.47
, Issue.2
, pp. 204-220
-
-
Hiskens, A.1
Pai, M.A.2
-
4
-
-
0242620056
-
Identification of symptom parameters for failure anticipation by timed-event trend analysis
-
C.J. Kim, "Identification of symptom parameters for failure anticipation by timed-event trend analysis," IEEE Power Engineering Review, pp. 48-49, 2000.
-
(2000)
IEEE Power Engineering Review
, pp. 48-49
-
-
Kim, C.J.1
-
5
-
-
84957869487
-
An approach to the verification of the center-TRACON automation system
-
vol. 1386 of LNCS, Springer Verlag
-
J. Lygeros, G.J. Pappas, and S. Sastry, "An approach to the verification of the center-TRACON automation system," in Hybrid Systems: Computation and Control, vol. 1386 of LNCS, Springer Verlag, 1998, pp. 289-304.
-
(1998)
Hybrid Systems: Computation and Control
, pp. 289-304
-
-
Lygeros, J.1
Pappas, G.J.2
Sastry, S.3
-
6
-
-
0032050862
-
Conflict resolution for air traffic management: A study in multi-agent hybrid systems
-
C. Tomlin, G.J. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A study in multi-agent hybrid systems," IEEE Transactions on Automatic Control, vol. 42, no. 4, pp. 509-521, 1998.
-
(1998)
IEEE Transactions on Automatic Control
, vol.42
, Issue.4
, pp. 509-521
-
-
Tomlin, C.1
Pappas, G.J.2
Sastry, S.3
-
7
-
-
0032046325
-
Verified hybrid controllers for automated vehicles
-
J. Lygeros, D.N. Godbole, and S. Sastry, "Verified hybrid controllers for automated vehicles," IEEE Trans. on Autom. Contr, vol. 43, no. 4, pp. 522-539, 1998.
-
(1998)
IEEE Trans. on Autom. Contr
, vol.43
, Issue.4
, pp. 522-539
-
-
Lygeros, J.1
Godbole, D.N.2
Sastry, S.3
-
8
-
-
0027544543
-
Smart cars on smart roads: Problems of control
-
P. Varaiya, "Smart cars on smart roads: Problems of control," IEEE Transactions on Automatic Control, vol. 38, no. 2, pp. 195-207, 1993.
-
(1993)
IEEE Transactions on Automatic Control
, vol.38
, Issue.2
, pp. 195-207
-
-
Varaiya, P.1
-
9
-
-
0031370329
-
Optimal control of a class of hybrid systems
-
San Diego, California
-
C.G. Cassandras and D.L. Pepyne, "Optimal control of a class of hybrid systems," in IEEE Conf. on Decision and Control, San Diego, California, pp. 133-138, 1997.
-
(1997)
IEEE Conf. on Decision and Control
, pp. 133-138
-
-
Cassandras, C.G.1
Pepyne, D.L.2
-
10
-
-
14544278696
-
A framework for fault detection of hybrid systems
-
Dubrovnik, Croatia
-
G.K. Fourlas, K.J. Kyriakopoulos, and N.J. Krikelis, "A framework for fault detection of hybrid systems," m Proc. of the 9th IEEE Mediterranean Conf. on Control and Automation, Dubrovnik, Croatia, 2001.
-
(2001)
M Proc. of the 9th IEEE Mediterranean Conf. on Control and Automation
-
-
Fourlas, G.K.1
Kyriakopoulos, K.J.2
Krikelis, N.J.3
-
11
-
-
0003672832
-
-
PhD thesis, Massachusetts Institute of Technology, Dept. of Electrical Eng. and Computer Science
-
M.S. Branicky, Studies in Hybrid Systems: Modeling, Analysis and Control, PhD thesis, Massachusetts Institute of Technology, Dept. of Electrical Eng. and Computer Science, 1995.
-
(1995)
Studies in Hybrid Systems: Modeling, Analysis and Control
-
-
Branicky, M.S.1
-
13
-
-
43049171144
-
Hybrid I/O automata
-
LNCS, Springer Verlag
-
N. Lynch, R. Segala, F. Vaandrager, and H. Weinberg, "Hybrid I/O automata," Hybrid Systems III, no. 1066, LNCS, Springer Verlag, 1996, pp. 496-510.
-
(1996)
Hybrid Systems III
, Issue.1066
, pp. 496-510
-
-
Lynch, N.1
Segala, R.2
Vaandrager, F.3
Weinberg, H.4
-
14
-
-
5444260716
-
Contribution to the fault detection for hybrid systems
-
Rio, Patras, Greece
-
G.K. Fourlas, K.J. Kyriakopoulos, and N.J. Krikelis, "Contribution to the fault detection for hybrid systems," in Proc. of the 8th IEEE Mediterranean Conf. on Control and Automation, Rio, Patras, Greece, 2000.
-
(2000)
Proc. of the 8th IEEE Mediterranean Conf. on Control and Automation
-
-
Fourlas, G.K.1
Kyriakopoulos, K.J.2
Krikelis, N.J.3
-
15
-
-
5444241100
-
Diagnosability of hybrid systems
-
Lisbon, Portugal
-
G.K. Fourlas, K.J. Kyriakopoulos, and N.J. Krikelis, "Diagnosability of hybrid systems," in Proc. of the 10th IEEE Mediterranean Conf. on Control and Automation, Lisbon, Portugal, 2002.
-
(2002)
Proc. of the 10th IEEE Mediterranean Conf. on Control and Automation
-
-
Fourlas, G.K.1
Kyriakopoulos, K.J.2
Krikelis, N.J.3
-
16
-
-
84957877343
-
Automotive control revisited linear inequalities as approximation of reachable sets
-
vol. 1386 of LNCS, Springer Verlag
-
A. Fehnker, "Automotive control revisited linear inequalities as approximation of reachable sets," in Hybrid Systems: Computation and Control, vol. 1386 of LNCS, Springer Verlag, 1998, pp. 110-125.
-
(1998)
Hybrid Systems: Computation and Control
, pp. 110-125
-
-
Fehnker, A.1
-
17
-
-
0028757716
-
Control adjustments in fast decoupled load flow
-
J.G. Vlachogiannis, "Control adjustments in fast decoupled load flow," Electric Power System Research, vol. 31, pp. 185-194, 1994.
-
(1994)
Electric Power System Research
, vol.31
, pp. 185-194
-
-
Vlachogiannis, J.G.1
|