-
1
-
-
0003672832
-
-
Doctor of Science Thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, June
-
Michael S. Branicky. Studies in Hybrid Systems: Modeling, Analysis, and Control. Doctor of Science Thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, June 1995.
-
(1995)
Studies in Hybrid Systems: Modeling, Analysis, and Control
-
-
Branicky, M.S.1
-
2
-
-
84957684274
-
Safety Verification for Automated Platoon Maneuvers: A Case Study
-
Oded Maler, editor, Lecture Notes in Computer Science, Springer-Verlag, The International Workshop on Hybrid and Real-Time Systems took place in Grenoble, France, in March
-
Ekaterina Dolginova and Nancy A. Lynch. Safety Verification for Automated Platoon Maneuvers: A Case Study. In Oded Maler, editor, Proc. International Workshop on Hybrid and Real-Time Systems (HART'97), volume 1201 of Lecture Notes in Computer Science, pages 154-170. Springer-Verlag, 1997. The International Workshop on Hybrid and Real-Time Systems took place in Grenoble, France, in March 1997.
-
(1997)
Proc. International Workshop on Hybrid and Real-Time Systems (HART'97)
, vol.1201
, pp. 154-170
-
-
Dolginova, E.1
Lynch, N.A.2
-
3
-
-
0342890577
-
-
Technical Report MIT/LCS/TR-587, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, December
-
Rainer Gawlick, Roberto Segala, Jørgen Søgaard-Andersen, and Nancy A. Lynch. Liveness in Timed and Untimed Systems. Technical Report MIT/LCS/TR-587, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, December 1993.
-
(1993)
Liveness in Timed and Untimed Systems
-
-
Gawlick, R.1
Segala, R.2
Søgaard-Andersen, J.3
Lynch, N.A.4
-
4
-
-
0003517372
-
Liveness in Timed and Untimed Systems
-
Serge Abiteboul and Eli Shamir, editors, Lecture Notes in Computer Science, Springer-Verlag, The 21st International Colloquium on Automata, Languages and Programming (ICALP'94) took place in Jerusalem, Israel, in July, Full version appeared as Ref. 3
-
Ralner Gawlick, Roberto Segala, Jørgen Søgaard-Andersen, and Nancy A. Lynch. Liveness in Timed and Untimed Systems. In Serge Abiteboul and Eli Shamir, editors, Proc. 21st International Colloquium on Automata, Languages and Programming (ICALP'94), volume 820 of Lecture Notes in Computer Science, pages 166-177. Springer-Verlag, 1994. The 21st International Colloquium on Automata, Languages and Programming (ICALP'94) took place in Jerusalem, Israel, in July 1994. Full version appeared as Ref. 3.
-
(1994)
Proc. 21St International Colloquium on Automata, Languages and Programming (ICALP'94)
, vol.820
, pp. 166-177
-
-
Gawlick, R.1
Segala, R.2
Søgaard-Andersen, J.3
Lynch, N.A.4
-
5
-
-
84957915940
-
-
Lecture Notes in Computer Science. Springer-Verlag, This volume of LNCS was inspired by a workshop on the Theory of Hybrid Systems, held on Oct. 19-21, 1992 at the Technical University, Lyngby, Denmark, and by a prior Hybrid Systems Workshop, held on June 10-12, 1991 at the Mathematical Sciences Institute, Cornell University
-
Robert L. Grossman, Anit Nerode, Anders P. Ravn, and Hans Rischel, editors. Hybrid Systems, volume 736 of Lecture Notes in Computer Science. Springer-Verlag, 1993. This volume of LNCS was inspired by a workshop on the Theory of Hybrid Systems, held on Oct. 19-21, 1992 at the Technical University, Lyngby, Denmark, and by a prior Hybrid Systems Workshop, held on June 10-12, 1991 at the Mathematical Sciences Institute, Cornell University.
-
(1993)
Hybrid Systems
, vol.736
-
-
Grossman, R.L.1
Nerode, A.2
Ravn, E.P.3
Rischel, H.4
-
6
-
-
23544448324
-
-
Master of Engineering Thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, September
-
Carolos Livadas. Formal Verification of Safety-Critical Hybrid Systems. Master of Engineering Thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, September 1997.
-
(1997)
Formal Verification of Safety-Critical Hybrid Systems
-
-
Livadas, C.1
-
7
-
-
0003557362
-
-
Doctor of Philosophy Thesis, Dept. of Electrical Engineering and Computer Sciences, University of California, Berkeley, May
-
John Lygeros. Hierarchical, Hybrid Control of Large Scale Systems. Doctor of Philosophy Thesis, Dept. of Electrical Engineering and Computer Sciences, University of California, Berkeley, May 1996.
-
(1996)
Hierarchical, Hybrid Control of Large Scale Systems
-
-
Lygeros, J.1
-
8
-
-
0030409403
-
A Verified Hybrid Controller for Automated Vehicles
-
Kobe, Japan, December
-
John Lygeros, Datta N. Godbole, and Shankar Sastry. A Verified Hybrid Controller for Automated Vehicles. In 35th IEEE Conference on Decision and Control (CDC'96), pages 2289-2294, Kobe, Japan, December 1996.
-
(1996)
35Th IEEE Conference on Decision and Control (CDC'96)
, pp. 2289-2294
-
-
Lygeros, J.1
Godbole, D.N.2
Sastry, S.3
-
9
-
-
0031345144
-
On the Formal Verification of the TCAS Conflict Resolution Algorithm
-
San Diego, CA, December, To appear
-
John Lygeros and Nancy Lynch. On the Formal Verification of the TCAS Conflict Resolution Algorithm. In 36th IEEE Conference on Decision and Control (CDC'97), San Diego, CA, December 1997. To appear.
-
(1997)
36Th IEEE Conference on Decision and Control (CDC'97)
-
-
Lygeros, J.1
Lynch, N.2
-
10
-
-
1642502742
-
-
Technical Memo MIT/LCS/TM-544, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, December
-
Nancy Lynch, Roberto Segala, Frits Vaandrager, and H. B. Weinberg. Hybrid I/O Automata. Technical Memo MIT/LCS/TM-544, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, December 1995.
-
(1995)
Hybrid I/O Automata
-
-
Lynch, N.1
Segala, R.2
Vaandrager, F.3
Weinberg, H.B.4
-
11
-
-
43049171144
-
Hybrid I/O Automata
-
R. Alur, T. Henzinger, and E. Sontag, editors, Springer-Verlag, The DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems took place in New Brunswick, New Jersey, in October
-
Nancy Lynch, Roberto Segala, Frits Vaandrager, and H. B. Weinberg. Hybrid I/O Automata. In R. Alur, T. Henzinger, and E. Sontag, editors, Proc. DIMACS/ SYCON Workshop on Verification and Control of Hybrid Systems, Hybrid Systems III: Verification and Control, volume 1066 of Lecture Notes in Computer Science, pages 496-510. Springer-Verlag, 1996. The DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems took place in New Brunswick, New Jersey, in October 1995.
-
(1996)
Proc. DIMACS/ SYCON Workshop on Verification and Control of Hybrid Systems, Hybrid Systems III: Verification and Control, Volume 1066 of Lecture Notes in Computer Science
, pp. 496-510
-
-
Lynch, N.1
Segala, R.2
Vaandrager, F.3
Weinberg, H.B.4
-
13
-
-
22144497738
-
-
Technical Memo MIT/LCS/TM-487.c, Labora tory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, April
-
Nancy Lynch and Frits Vaandrager. Forward and Backward Simulations -- Part II: Timing-Based Systems. Technical Memo MIT/LCS/TM-487.c, Labora tory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, April 1995.
-
(1995)
Forward and Backward Simulations -- Part II: Timing-Based Systems
-
-
Lynch, N.1
Vaandrager, F.2
-
14
-
-
0002658813
-
Forward and Backward Simulations -- Part II: Timing-Based Systems
-
July, Preliminary version appeared as Ref. 13
-
Nancy Lynch and Frits Vaandrager. Forward and Backward Simulations -- Part II: Timing-Based Systems. Information and Computation, 128(1):1-25, July 1996. Preliminary version appeared as Ref. 13.
-
(1996)
Information and Computation
, vol.128
, Issue.1
, pp. 1-25
-
-
Lynch, N.1
Vaandrager, F.2
-
15
-
-
0030398714
-
Conflict Resolution in Multi-Agent Hybrid Systems
-
Kobe, Japan, December
-
George J. Pappas, Claire Tomlin, and Shankar Sastry. Conflict Resolution in Multi-Agent Hybrid Systems. In 35th IEEE Conference on Decision and Control (CDC'96), Kobe, Japan, December 1996.
-
(1996)
35Th IEEE Conference on Decision and Control (CDC'96)
-
-
Pappas, G.J.1
Tomlin, C.2
Sastry, S.3
-
16
-
-
84957888345
-
-
editors, part 1 of Theoretical Computer Science. Elsevier Science Publishers, February
-
Amir Pnueli and Joseph Sifakis, editors. Special Issue on Hybrid Systems, volume 138, part 1 of Theoretical Computer Science. Elsevier Science Publishers, February 1995.
-
(1995)
Special Issue on Hybrid Systems
, vol.138
-
-
Pnueli, A.1
Sifakis, J.2
-
17
-
-
21344471670
-
Verification of Automated Vehicle Protection Systems
-
R. Alur T. Henzinger, and E. Sontag, editors, Lecture Notes in Computer Science, Springer-Verlag
-
H. B. Weinberg, Nancy Lynch, and Norman Delisle. Verification of Automated Vehicle Protection Systems. In R. Alur T. Henzinger, and E. Sontag, editors, Hybrid Systems III: Verification and Control, volume 1066 of Lecture Notes in Computer Science, pages 101-113. Springer-Verlag, 1996.
-
(1996)
Hybrid Systems III: Verification and Control
, vol.1066
, pp. 101-113
-
-
Weinberg, H.B.1
Lynch, N.2
Delisle, N.3
|