Search for persons
X
?
Lecture Notes in Computer Science; Principles of Systems Design ,
2
From Hybrid Automata to DAE-Based Modeling:
, In:
?
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,
5
Implicit structural analysis of multimode DAE systems:
, In:
?
2020 Forum for Specification and Design Languages (FDL) ,
7
An Algebra of Deterministic Propositional Acceptance Automa..:
, In:
?
Lecture Notes in Computer Science; Computing and Software Science ,
11
Multi-Mode DAE Models - Challenges, Theory and Implementati..:
, In:
?
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control ,
13
Structural Analysis of Multi-Mode DAE Systems:
, In:
?
Proceedings of the 17th international conference on Hybrid systems: computation and control ,
15