Assume–guarantee verification of nonlinear hybrid systems with Ariadne
Article first published online: 11 OCT 2012
Copyright © 2012 John Wiley & Sons, Ltd.
International Journal of Robust and Nonlinear Control
Volume 24, Issue 4, pages 699–724, 10 March 2014
How to Cite
Benvenuti, L., Bresolin, D., Collins, P., Ferrari, A., Geretti, L. and Villa, T. (2014), Assume–guarantee verification of nonlinear hybrid systems with Ariadne. Int. J. Robust Nonlinear Control, 24: 699–724. doi: 10.1002/rnc.2914
- Issue published online: 16 JAN 2014
- Article first published online: 11 OCT 2012
- Manuscript Accepted: 12 SEP 2012
- Manuscript Revised: 11 SEP 2012
- Manuscript Received: 11 JAN 2012
- EU projects. Grant Numbers: FP7-ICT-217069 COCONUT, FP7-ICT-223844 CON4COORD
Options for accessing this content:
- If you are a society or association member and require assistance with obtaining online access instructions please contact our Journal Customer Services team.
- If your institution does not currently subscribe to this content, please recommend the title to your librarian.
- Login via other institutional login options http://onlinelibrary.wiley.com/login-options.
- You can purchase online access to this Article for a 24-hour period (price varies by title)
- If you already have a Wiley Online Library or Wiley InterScience user account: login above and proceed to purchase the article.
- New Users: Please register, then proceed to purchase the article.
Login via OpenAthens
Search for your institution's name below to login via Shibboleth.
Registered Users please login:
- Access your saved publications, articles and searches
- Manage your email alerts, orders and subscriptions
- Change your contact information, including your password
Please register to:
- Save publications, articles and searches
- Get email alerts
- Get all the benefits mentioned below!