Iman Haghighi

According to our database, Iman Haghighi authored at least 7 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics.

Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks.

Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, Calin Belta

IEEE Trans. Control. Netw. Syst., 2018

Spatial-Temporal pattern Synthesis in a Network of Locally Interacting Cells.

Noushin Mehdipour, Demarcus Briers, Iman Haghighi, Chad M. Glen, Melissa L. Kemp, Calin Belta

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Semi-supervised pattern synthesis in spatially distributed dynamical systems.

Iman Haghighi, Kevin Leahy, Rachael Ivison, Calin Belta

Proceedings of the 2017 American Control Conference, 2017

2016

Robotic swarm control from spatio-temporal specifications.

Iman Haghighi, Sadra Sadraddini, Calin Belta

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Pattern synthesis in a 3D agent-based model of stem cell differentiation.

Demarcus Briers, Iman Haghighi, Douglas E. White, Melissa L. Kemp, Calin Belta

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

SpaTeL: a novel spatial-temporal logic and its applications to networked systems.

Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015