Shadi Tasdighi Kalat

According to our database, Shadi Tasdighi Kalat authored at least 9 papers between 2015 and 2023.

Collaborative distances:

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

2023

A Data-Driven Approach to Approximate Opacity Verification.

Vishnu Murali, Shadi Tasdighi Kalat, Majid Zamani

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates.

Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani

IEEE Control. Syst. Lett., 2022

Verification of approximate infinite-step opacity using barrier certificates.

Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani

Proceedings of the European Control Conference, 2022

2020

A Feedback-Planning Scheme to Synthesize Control Functions.

Shadi Tasdighi Kalat, Siamak G. Faal

Proceedings of the 2020 American Control Conference, 2020

2019

A computationally efficient approach to decentralized routing of swarms via a family of pre-fractal curves.

Shadi Tasdighi Kalat, Milad Farzad, Siamak G. Faal

Proceedings of the 2019 American Control Conference, 2019

2017

Scalable collective impedance control of an object via a decentralized force control method.

Shadi Tasdighi Kalat, Siamak G. Faal, Cagdas D. Onal

Proceedings of the 2017 American Control Conference, 2017

Decentralized obstacle avoidance in collective object manipulation.

Siamak G. Faal, Shadi Tasdighi Kalat, Cagdas D. Onal

Proceedings of the 2017 NASA/ESA Conference on Adaptive Hardware and Systems, 2017

2016

Towards collective manipulation without inter-agent communication.

Siamak G. Faal, Shadi Tasdighi Kalat, Cagdas D. Onal

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015

TriBot: A minimally-actuated accessible holonomic hexapedal locomotion platform.

Shadi Tasdighi Kalat, Siamak G. Faal, Ugur Celik, Cagdas D. Onal

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015