Published in: LITES, Volume 8, Issue 2 (2022): Special Issue on Distributed Hybrid Systems. Leibniz Transactions on Embedded Systems, Volume 8, Issue 2
LITES, Volume 8, Issue 2: Special Issue on Distributed Hybrid Systems, pp. 0:i-0:iii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Article{abate_et_al:LITES.8.2.0, author = {Abate, Alessandro and Fahrenberg, Uli and Fr\"{a}nzle, Martin}, title = {{Introduction to the Special Issue on Distributed Hybrid Systems}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {00:1--00:3}, ISSN = {2199-2002}, year = {2022}, volume = {8}, number = {2}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES.8.2.0}, doi = {10.4230/LITES.8.2.0}, annote = {Keywords: Distributed hybrid systems} }
Published in: LIPIcs, Volume 210, 27th International Conference on Principles and Practice of Constraint Programming (CP 2021)
Abderahmane Bedouhene, Bertrand Neveu, Gilles Trombettoni, Luc Jaulin, and Stéphane Le Menec. An Interval Constraint Programming Approach for Quasi Capture Tube Validation. In 27th International Conference on Principles and Practice of Constraint Programming (CP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 210, pp. 18:1-18:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{bedouhene_et_al:LIPIcs.CP.2021.18, author = {Bedouhene, Abderahmane and Neveu, Bertrand and Trombettoni, Gilles and Jaulin, Luc and Le Menec, St\'{e}phane}, title = {{An Interval Constraint Programming Approach for Quasi Capture Tube Validation}}, booktitle = {27th International Conference on Principles and Practice of Constraint Programming (CP 2021)}, pages = {18:1--18:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-211-2}, ISSN = {1868-8969}, year = {2021}, volume = {210}, editor = {Michel, Laurent D.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2021.18}, URN = {urn:nbn:de:0030-drops-153093}, doi = {10.4230/LIPIcs.CP.2021.18}, annote = {Keywords: Constraint satisfaction problem, Interval analysis, Dynamical systems, Contractor} }