Author of the publication

Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems.

, and . HSCC, volume 1790 of Lecture Notes in Computer Science, page 324-337. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains, , and . Model-based testing for embedded systems, CRC Press, Boca Raton, (2011)A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities., , , and . HSCC, page 83-92. ACM, (2014)An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages.. HSCC, volume 1569 of Lecture Notes in Computer Science, page 165-177. Springer, (1999)A simevents model for hybrid traffic simulation., , , and . WSC, page 1455-1466. IEEE, (2017)A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models., and . AAAI/IAAI, Vol. 2, page 985-990. AAAI Press / The MIT Press, (1996)0-262-51091-X.An Ontology for Transitions in Physical Dynamic Systems., , and . AAAI/IAAI, page 219-224. AAAI Press / The MIT Press, (1998)Graphical Hybrid Automata with Simulink and Stateflow., , , , and . HSCC, page 267-268. ACM, (2018)Hybrid Dynamic Systems.. Handbook of Dynamic System Modeling, Chapman and Hall/CRC, (2007)Guest Editorial Computer Automated Multiparadigm Modeling (CAMPAM)., and . IEEE Trans. Contr. Sys. Techn., 12 (2): 221-222 (2004)The experiment model and validity frame in M&S., , , , and . SpringSim (TMS), page 10:1-10:12. ACM, (2017)