Iman Haghighi
Iman Haghighi
PhD candidate in Systems Engineering, Boston University
Verified email at bu.edu
Title
Cited by
Cited by
Year
SpaTeL: a novel spatial-temporal logic and its applications to networked systems
I Haghighi, A Jones, Z Kong, E Bartocci, R Gros, C Belta
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
902015
A formal methods approach to pattern recognition and synthesis in reaction diffusion networks
E Bartocci, EA Gol, I Haghighi, C Belta
IEEE Transactions on Control of Network Systems 5 (1), 308-320, 2016
342016
Robotic swarm control from spatio-temporal specifications
I Haghighi, S Sadraddini, C Belta
2016 IEEE 55th Conference on Decision and Control (CDC), 5708-5713, 2016
222016
Control from signal temporal logic specifications with smooth cumulative quantitative semantics
I Haghighi, N Mehdipour, E Bartocci, C Belta
2019 IEEE 58th Conference on Decision and Control (CDC), 4361-4366, 2019
212019
Pattern synthesis in a 3D agent-based model of stem cell differentiation
D Briers, I Haghighi, D White, ML Kemp, C Belta
2016 IEEE 55th Conference on Decision and Control (CDC), 4202-4207, 2016
132016
Spatial-temporal pattern synthesis in a network of locally interacting cells
N Mehdipour, D Briers, I Haghighi, CM Glen, ML Kemp, C Belta
2018 IEEE Conference on Decision and Control (CDC), 3516-3521, 2018
102018
Automated design of pluripotent stem cell self-organization
ARG Libby, D Briers, I Haghighi, DA Joy, BR Conklin, C Belta, ...
Cell systems 9 (5), 483-495. e10, 2019
92019
Genetic design automation for autonomous formation of multicellular shapes from a single cell progenitor
E Appleton, N Mehdipour, T Daifuku, D Briers, I Haghighi, M Moret, ...
bioRxiv, 807107, 2020
22020
Self-organized pluripotent stem cell patterning by automated design
D Briers, ARG Libby, I Haghighi, DA Joy, BR Conklin, C Belta, ...
Available at SSRN 3318933, 2019
22019
Semi-supervised pattern synthesis in spatially distributed dynamical systems
I Haghighi, K Leahy, R Ivison, C Belta
2017 American Control Conference (ACC), 2530-2535, 2017
12017
Spatio-temporal logics for verification and control of networked systems
I Haghighi
Boston University, 2019
2019
Genetic Systems Engineering
P Vaidyanathan, E Appleton, C Madsen, CI Vasile, A Pacheco, I Haghighi, ...
The system can't perform the operation now. Try again later.
Articles 1–12