Information Technology Reference
In-Depth Information
4. Beckert, B., Giese, M., Hähnle, R., Klebanov, V., Rümmer, P., Schlager, S.,
Schmitt, P.H.: The KeY System 1.0 (deduction component). In: Pfenning, F. (ed.)
CADE 2007. LNCS, vol. 4603, Springer, Heidelberg (2007)
5. Beckert, B., Hähnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Soft-
ware: The KeY Approach. LNCS (LNAI), vol. 4334, Springer, Heidelberg (2007)
6. Bohn, J., Damm, W., Klose, J., Moik, A., Wittke, H.: Modeling and validating train
system applications using Statemate and live sequence charts. In: Proc. Conference
on Integrated Design and Process Technology. Society for Design and Process Sci-
ence (2002)
7. Borchers, B.: CSDP, a C library for semidefinite programming. Optimization Meth-
ods and Software 10(1), 613-623 (1999)
8. Boyd, S., Ghaoui, L.E., Feron, E., Balakrishnan, V.: Linear Matrix Inequalities in
System and Control Theory. In: SIAM (1994)
9. Branicky, M.S.: Multiple Lyapunov functions and other analysis tools for switched
and hybrid systems. IEEE Transactions on Automatic Control 43(4) (1998)
10. Cervin, A., Henriksson, D., Lincoln, B., Eker, J., Arzén, K.: How does control
timing affect performance? IEEE Control Systems Magazine 23(2), 16-30 (2003)
11. Damm, W., Disch, S., Hungar, H., Jacobs, S., Pang, J., Pigorsch, F., Scholl, C.,
Waldmann, U., Wirtz, B.: Exact state set representations in the verification of
linear hybrid systems with large discrete state space. Technical report, AVACS
(2007)
12. Damm, W., Disch, S., Hungar, H., Pang, J., Pigorsch, F., Scholl, C., Waldmann,
U., Wirtz, B.: Automatic verification of hybrid systems with large discrete state
space. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol. 4218, pp. 276-291.
Springer, Heidelberg (2006)
13. Damm, W., Hungar, H., Olderog, E.-R.: Verification of cooperating trac agents.
International Journal of Control 79(5), 395-421 (2006)
14. Damm, W., Pinto, G., Ratschan, S.: Guaranteed termination in the verification
of LTL properties of non-linear robust discrete time hybrid systems. International
Journal of Foundations of Computer Science 18(1), 63-86 (2007)
15. Donde, V., Hiskens, I.A.: Shooting methods for locating grazing phenomena in
hybrid systems. Intern. Journal of Bifurcation and Chaos 16(3), 671-692 (2006)
16. Feng, G.: Stability analysis of piecewise discrete-time linear systems. IEEE Trans-
actions on Automatic Control 47(7), 1108-1112 (2002)
17. Franklin, G.F., Powell, J.D., Workman, M.: Digital Control of Dynamic Systems.
Pearson, London (1998)
18. Fränzle, M., Herde, C.: HySAT: An ecient proof engine for bounded model check-
ing of hybrid systems. Formal Methods in System Design 30(3), 179-198 (2007)
19. Frehse, G.: Compositional verification of hybrid systems with discrete interaction
using simulation relations. In: Proc. 13th IEEE Conference on Computer Aided
Control Systems Design, IEEE Computer Society Press, Los Alamitos (2004)
20. Frehse, G.: Compositional Verification of Hybrid Systems using Simulation Rela-
tions. PhD thesis, Radboud Universiteit Nijmegen (2005)
21. Frehse, G.: PHAVer: Algorithmic verification of hybrid systems past HyTech. In:
Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 258-273. Springer,
Heidelberg (2005)
22. Hager, G.: European ACAS operational evaluation - Final report. Technical Report
EEC Report No. 316, Eurocontrol (1997)
23. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)
Search WWH ::




Custom Search