Automating Verification of Cooperation, Control, and Design in Traffic Applications - Formal Methods and Hybrid Real-Time Systems - page 164

44. Platzer, A.: Differential logic for reasoning about hybrid systems. In: Buttazzo,
G., Bemporad, A., Bicchi, A. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 746-749.
Springer, Heidelberg (2007)
45. Platzer, A.: A temporal dynamic logic for verifying hybrid system invariants.
In: Proc. International Symposium on Logical Foundations of Computer Science.
LNCS, vol. 4514, pp. 457-471. Springer, Heidelberg (2007)
46. Platzer, A.: Towards a hybrid dynamic logic for hybrid dynamic systems. In: Black-
burn, P., Bolander, T., Braüner, T., de Paiva, V., Villadsen, J. (eds.) Proc. LICS
Intern. Workshop on Hybrid Logic. ENTCS (2007)
47. Platzer, A., Clarke, E.M.: The image computation problem in hybrid systems model
checking. In: Proc. 10th Workshop on Hybrid Systems: Computation and Control.
LNCS, vol. 4416, pp. 473-486. Springer, Heidelberg (2007)
48. Segelken, M.: Abstraction and counterexample-guided construction of omega-
automata for model checking of step-discrete linear hybrid models. In: Proc. 19th
Conference on Computer Aided Verification. LNCS, Springer, Heidelberg (2007)
49. Silva, B.I., Richeson, K., Krogh, B.H., Chutinan, A.: Modeling and verification of
hybrid dynamical system using CheckMate. In: Proc. 4th Conference on Automa-
tion of Mixed Processes (2000)
50. Somenzi, F., Bloem, R.: Ecient Büchi Automata from LTL Formulae. In: Emer-
son, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 248-263. Springer,
Heidelberg (2000)
51. Stauner, T.: Systematic Development of Hybrid Systems. PhD thesis, Technische
Universität München (2001)
52. Stauner, T.: Discrete-time refinement of hybrid automata. In: Tomlin, C.J., Green-
street, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 407-420. Springer, Heidelberg
(2002)
53. Tomlin, C., Pappas, G.J., Sastry, S.S.: Conflict resolution for air trac manage-
ment: A case study in multi-agent hybrid systems. IEEE Transactions on Auto-
matic Control 43(4), 509-521 (1998)
54. Wende, D.: Fahrdynamik des Schienenverkehrs. Teubner (2003)
55. Yakubovich, V.: S-procedure in nonlinear control theory. Vestnik Leningrad Uni-
versity, pp. 62-71 (1971)
56. Zhou, C., Hansen, M.: Duration Calculus: A Formal Approach to Real-Time Sys-
tems. Springer, Heidelberg (2004)
57. Zhou, C., Hoare, C., Ravn, A.P.: A calculus of durations. Information Processing
Letters 40(5), 269-276 (1991)