Quasi-dependent variables in hybrid automata-Reference-Cited by-同舟云学术

Quasi-dependent variables in hybrid automata

Published:2014-04-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 17th international conference on Hybrid systems: computation and control
language:
Short-container-title:

Author:

Bogomolov Sergiy¹,Herrera Christian¹,Muñiz Marco¹,Westphal Bernd¹,Podelski Andreas¹

Affiliation:

1. Albert-Ludwigs-Universität Freiburg, Freiburg, Germany

Funder

Deutsche Forschungsgemeinschaft

Consejo Nacional de Ciencia y Tecnología

German Academic Exchange Service

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2562059.2562142

Reference23 articles.

1. http://swt.informatik.uni-freiburg.de/projects/CaseStudyRepository/hybridqdv. http://swt.informatik.uni-freiburg.de/projects/CaseStudyRepository/hybridqdv.

2. T.S. Rappaport. Wireless communications volume 2. Prentice Hall 2002. T.S. Rappaport. Wireless communications volume 2. Prentice Hall 2002.

3. Performance analysis of Ethernet Powerlink networks for distributed control and automation systems

4. Reducing Quasi-Equal Clocks in Networks of Timed Automata

5. Quasi-Equal Clock Reduction: More Networks, More Queries

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters;Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control;2017-04-13

2. SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems;Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control;2016-04-11

3. Anonymized Reachability of Hybrid Automata Networks;Lecture Notes in Computer Science;2014