Algorithms for exact and approximate linear abstractions of polynomial continuous systems

Article Details
Title:	Algorithms for exact and approximate linear abstractions of polynomial continuous systems
Article URLs:	https://doi.org/10.1145/3178126.3178137
Alternative Article URLs:
Authors:	Michele Boreale	Università di Firenze, Dipartimento di Statistica, Informatica, Applicazioni (DiSIA)
Sharing:	Unknown
Verification:	Author has not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://local.disia.unifi.it/boreale/papers/LinAbs.py
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/hybrid/Boreale18
Author Comments:

ACM Intl. Conf. on Hybrid Systems: Computation and Control, HSCC 2018