Generalizing Action Systems to Hybrid Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Action Systems with Continuous Behaviour
Hybrid Systems V
Continuous action systems as a model for hybrid systems
Nordic Journal of Computing
Logic and compositional verification of hybrid systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Differential dynamic logics: automated theorem proving for hybrid systems
Differential dynamic logics: automated theorem proving for hybrid systems
A clustering-based approach for the identification of a class of temporally switched linear systems
Pattern Recognition Letters
Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Hi-index | 0.00 |