Periodo de publicación recogido
|
|
|
Computation of polytopic invariants for polynomial dynamical systems using linear programming
Mohamed Amin Ben Sassi, A. Girard
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 48, Nº. 12, 2012, págs. 3114-3121
Controller synthesis for safety and reachability via approximate bisimulation
A. Girard
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 48, Nº. 5, 2012, págs. 947-953
Temporal logic motion planning for dynamic robots.
G.E. Fainekos, A. Girard, H. Kress-Gazit, G.J. Pappas
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 45, Nº. 2, 2009, págs. 343-352
Hierarchical control system design using approximate simulation.
A. Girard, G.J. Pappas
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 45, Nº. 2, 2009, págs. 566-571
Approximately bisimilar symbolic models for nonlinear control systems.
G. Pola, A. Girard, P. Tabuada
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 44, Nº. 10, 2008, págs. 2508-2516
Approximate bisimulation relations for constrained linear systems.
A. Girard, G.J. Pappas
Automatica: A journal of IFAC the International Federation of Automatic Control, ISSN 0005-1098, Vol. 43, Nº. 8, 2007, págs. 1307-1317
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados