Æȷοì
Iman Haghighi
Iman Haghighi
PhD candidate in Systems Engineering, Boston University
bu.eduÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
1282015
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
712019
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
452016
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
442016
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
362019
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
132018
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
Zhaodan Kong, Ezio Bartocci, Radu Grosu, and Calin Belta. Spatel: a novel spatial-temporal logic and its applications to networked systems
I Haghighi, A Jones
HSCC 15, 14-16, 0
6
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, 2019
52019
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
42019
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
SpaTeL
I Haghighi, A Jones, Z Kong, E Bartocci, R Gros, C Belta
Proceedings of the 18th International Conference on Hybrid Systems ¡¦, 2015
2015
Genetic Systems Engineering
P Vaidyanathan, E Appleton, C Madsen, CI Vasile, A Pacheco, I Haghighi, ...
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–14