Using a group theoretical approach we derive an equation of motion for a mixed quantum-classical system. The quantum-classical bracket entering the equation preserves the Lie algebra structure of quantum and classical mechanics: The bracket is antisymmetric and satisfies the Jacobi identity, and, therefore, leads to a natural description of interaction between quantum and classical degrees of f...

Björn Hellenkamp, Sonja Schmid, Olga Doroshenko, Oleg Opanasyuk, Ralf Kühnemuth, Soheila Rezaei Adariani, Anders Barth, Victoria Birkedal, Mark E. Bowen, Hongtao Chen, Thorben Cordes, Tobias Eilert, Carel Fijen, Markus Götz, Giorgos Gouridis, Enrico Gratton, Taekjip Ha, Christian A. Hanke, Andreas Hartmann, Jelle Hendrix, Lasse L. Hildebrandt, Johannes Hohlbein, Christian G. Hübner, Eleni Kalli...

7:30 – 8:30 AM Breakfast 8:30 – 9:00 AM Tuncay Aktosun 9:00 – 9:30 AM Rodolfo Torres 9:30 –10:00 AM Edriss Titi 10:00–10:30 AM Coffee Break 10:30–11:00 AM Walter Littman 11:00–11:30 AM Gustavo Ponce 11:30–12:00 AM Carlos Kenig 12:00– 1:30 PM Lunch 1:30 – 2:00 PM Irena Lasiecka 2:00 – 2:30 PM Oleg Emanouilov 2:30 – 3:00 PM Amjad Tuffaha 3:00 – 3:25 PM Jing Zhang 3:25 – 3:50 PM Coffee Break 3:50 ...

Architecture Analysis and Design Language (AADL) captures both platform and software architectures of embedded systems in a component oriented fashion. Properties embedded in an AADL model enable several high-level analysis techniques. In this work, we explore how to perform analysis of end-to-end timing characteristics of an AADL model using Real-Time Calculus (RTC). We identify properties of ...