Caillaud, Benoit
384  Ergebnisse:
Personensuche X
?
1

From Hybrid Automata to DAE-Based Modeling:

, In: Lecture Notes in Computer Science; Principles of Systems Design,
 
?
5

An Algebra of Deterministic Propositional Acceptance Automa..:

, In: 2020 Forum for Specification and Design Languages (FDL),
 
?
6

Implicit structural analysis of multimode DAE systems:

, In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control,
 
?
11

Multi-Mode DAE Models - Challenges, Theory and Implementati..:

, In: Lecture Notes in Computer Science; Computing and Software Science,
 
?
13

Structural Analysis of Multi-Mode DAE Systems:

, In: Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control,
 
?
 
?
15

Session details: Stochastic hybrid systems:

, In: Proceedings of the 17th international conference on Hybrid systems: computation and control,
 
1-15