Nicolò Giorgetti

According to our database1, Nicolò Giorgetti authored at least 6 papers between 2002 and 2006.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2006
Logic-based solution methods for optimal control of hybrid systems.
IEEE Trans. Autom. Control., 2006

2005
Bounded Model Checking of Hybrid Dynamical Systems.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004
A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

SAT-Based Branch & Bound and Optimal Control of Hybrid Dynamical Systems.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

2003
A logic-based hybrid solver for optimal control of hybrid systems.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002
A hybrid system approach to modeling and optimal control of DISC engines.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002


  Loading...