Haghighi, Iman
67  Ergebnisse:
Personensuche X
?
1

An automated crumb test procedure to estimate the soil disa..:

Haghighi, Iman ; Martin, Thibault ; Reiffsteck, Philippe...
European Journal of Environmental and Civil Engineering.  26 (2020)  10 - p. 4416-4431 , 2020
 
?
2

Control from Signal Temporal Logic Specifications with Smoo..:

, In: 2019 IEEE 58th Conference on Decision and Control (CDC),
Haghighi, Iman ; Mehdipour, Noushin ; Bartocci, Ezio. - p. 4361-4366 , 2019
 
?
3

SpaTeL : a novel spatial-temporal logic and its applicat..:

, In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control,
Haghighi, Iman ; Jones, Austin ; Kong, Zhaodan... - p. 189-198 , 2015
 
?
4

Feedback cooling of a trampoline in a high-finesse cavity f..:

, In: 2021 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC),
 
?
5

Multimode Opto-Electro-Mechanical Transducer for Non-Recipr..:

, In: 2019 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC),
 
?
10

A Formal Methods Approach to Pattern Recognition and Synthe..:

Bartocci, Ezio ; Aydın Göl, Ebru ; Haghighi, Iman.
Bartocci E., AYDIN GÖL E., Haghighi I., Belta C., "A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks", IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, cilt.5, ss.308-320, 2018.  , 2018
 
?
11

A Formal Methods Approach to Pattern Recognition and Synthe..:

Bartocci, Ezio ; Aydın Göl, Ebru ; Haghighi, Iman.
Bartocci E., AYDIN GÖL E., Haghighi I., Belta C., "A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks", IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, cilt.5, ss.308-320, 2018.  , 2018
 
1-15