Open Systems Laboratory at Illinois

Kirill Mechitov

I am a research associate in the Department of Computer Science at the University of Illinois and a member of the Open Systems Laboratory. My research interests are in the areas of in distributed algorithms, coordination strategies, and middleware services for large-scale wireless sensor networks. Specifically, I have worked on:

  • Illinois SHM Project: autonomous, long-term distributed sensing for structural health monitoring of civil infrastructure. This joint venture between OSL and Smart Structures Technology Laboratory in the Department of Civil and Environmental Engineering has resulted in the development of the Illinois SHM Services Toolsuite, an open-source collection of modular middleware services and applications, used by 75 research groups in 15 countries.
  • Assured Cloud Computing: actor-based adaptive framework for mobile hybrid cloud applications. The IMCM framework supports fine-grained code migration for mobile device applications to enable performance and energy optimization through moving parts of app functionality to public or private cloud platforms.
  • Ambiance Platform: tools and and middleware services to support network-wide programming and resource management, along with concurrent execution of multiple WSN applications. This effort, based on the ActorNet mobile agent language for sensor networks, has resulted in the development of the Ambiance Platform for WSN Macroprogramming, in collaboration with Dr. Reza Razavi at the University of Luxembourg.
  • ActorNet: a platform for actor-based programming of wireless sensor networks. ActorNet's extremely lightweight interpreter can operate on low-power sensor nodes with as little as 4KB RAM. ActorNet programs are written in a compact, Scheme-based syntax.
  • As part of the DARPA NEST project, my past work also includes cooperative target tracking, acoustic ranging and localization, and distributed sensing and data aggregation.

Software

Teaching

  • CEE/CS 598 CPS: Cyber-Physical Systems Technology
  • CS 425: Distributed Systems
  • CS 598: Emerging Programming Paradigms
  • CS 421: Programming Languages and Compilers
  • CS 241: Systems Programming

Publications

2018

  1. Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, and Gul Agha. Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking. STTT, 20(5):547–561, 2018.
  2. Gul Agha, Minas Charalambides, Kirill Mechitov, Karl Palmskog, Atul Sandur, and Reza Shiftehfar. Inferring and enforcing use patterns for mobile cloud assurance. In R. H. Campbell and K. A. Kwiat C. A. Kamhoua, editors, Assured Cloud Computing, pages 237–376. Wiley/IEEE Press, 2018.
  3. Y. Fu, L. Zhu, T. Hoang, K. Mechitov, and B.F. Spencer. Demand-based wireless smart sensors for earthquake monitoring of civil infrastructure. In Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems, 1–7. 2018.
  4. Li Zhu, Yuguang Fu, Raymond Chow, Billie F. Spencer, Jong Woong Park, and Kirill Mechitov. Development of a high-sensitivity wireless accelerometer for structural health monitoring. Sensors, 2018.

2017

  1. Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, and Gul Agha. A compositional approach for modeling and timing analysis of wireless sensor and actuator networks. SIGBED Review, 14(3):49–56, 2017.
  2. B.F. Spencer, J.-W. Park, K.A. Mechitov, H. Jo, and G. Agha. Next generation wireless smart sensors toward sustainable civil infrastructure. Procedia Engineering, 171:5–13, 2017. The 3rd International Conference on Sustainable Civil Engineering Structures and Construction Materials - Sustainable Structures for Future Generations.

2016

  1. Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, and Gul A. Agha. Schedulability analysis of distributed real-time sensor network applications using actor-based model checking. In Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings, volume 9641 of Lecture Notes in Computer Science, 165–181. Springer, 2016.
  2. Billie F. Spencer Jr., Gul A. Agha, and Kirill A. Mechitov. Little calumet river bridge (usa). In David Rodenas-Herráiz, Paul R. A. Fidler, Soga Kenichi, and Nicholas de Battista, editors, Wireless Sensor Networks for Civil Infrastructure Monitoring - A Best Practice Guide, number Chapter 13, pages 97–106. ICE Publishing, 2016.
  3. Billie F. Spencer Jr., Gul A. Agha, and Kirill A. Mechitov. Rock island arsenal government bridge (usa). In David Rodenas-Herráiz, Paul R. A. Fidler, Soga Kenichi, and Nicholas de Battista, editors, Wireless Sensor Networks for Civil Infrastructure Monitoring - A Best Practice Guide, number Chapter 14, pages 107–113. ICE Publishing, 2016.
  4. Billie F. Spencer Jr., Gul A. Agha, and Kirill A. Mechitov. Mahomet bridge (usa). In David Rodenas-Herráiz, Paul R. A. Fidler, Soga Kenichi, and Nicholas de Battista, editors, Wireless Sensor Networks for Civil Infrastructure Monitoring - A Best Practice Guide, number Chapter 12, pages 89–95. ICE Publishing, 2016.
  5. Billie F. Spencer Jr., Gul A. Agha, and Kirill A. Mechitov. 2nd jindo bridge (south korea). In David Rodenas-Herráiz, Paul R. A. Fidler, Soga Kenichi, and Nicholas de Battista, editors, Wireless Sensor Networks for Civil Infrastructure Monitoring - A Best Practice Guide, number Chapter 11, pages 81–88. ICE Publishing, 2016.
  6. Robin E. Kim, Jian Li, B.F. Spencer, Tomonori Nagayama, and Kirill A. Mechitov. Synchronized sensing for wireless monitoring of large structures. Smart Structures and Systems, 18:885–909, 2016.
  7. Y. G. Fu, K. A. Mechitov, V. Hoskere, and B. F. Spencer. Development of rtos-based wireless shm system: benefits in applications. In Transforming the Future of Infrastructure through Smarter Information - Proceedings of the International Conference on Smart Infrastructure and Construction, ICSIC 2016, 149–154. ICE Publishing, 2016.
  8. Robin E. Kim, Kirill Mechitov, Sung-Han Sim, Billie F. Spencer, and Junho Song. Probabilistic assessment of high-throughput wireless sensor networks. Sensors, 2016.
  9. Jian Li, Kirill A. Mechitov, Robin E. Kim, and Billie F. Spencer Jr.. Efficient time synchronization for structural health monitoring using wireless smart sensor networks. Structural Control and Health Monitoring, 23(3):470–486, 2016.
  10. Billie F. Spencer, Hongki Jo, Kirill A. Mechitov, Jian Li, Sung-Han Sim, Robin E. Kim, Soojin Cho, Lauren E. Linderman, Parya Moinzadeh, Ryan K. Giles, and Gul Agha. Recent advances in wireless smart sensors for multi-scale monitoring and control of civil infrastructure. Journal of Civil Structural Health Monitoring, 6(1):17–41, Feb 2016.

2014

  1. YoungMin Kwon, Kirill Mechitov, and Gul A. Agha. Design and implementation of a mobile actor platform for wireless sensor networks. In Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday, volume 8665 of Lecture Notes in Computer Science, 276–316. Springer, 2014.
  2. Reza Shiftehfar, Kirill Mechitov, and Gul A. Agha. Towards a flexible fine-grained access control system for modern cloud applications. In 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27 - July 2, 2014, 966–967. IEEE Computer Society, 2014.
  3. Jian Li, Kirill A. Mechitov, Robin Kim, and B.F. Spencer. Improved synchronized sensing for structural health monitoring using wireless smart sensor networks. In Proceedings of the Sixth World Conference on Structural Control and Monitoring (6WCSCM). 2014.
  4. Jian Li, Kirill A. Mechitov, and B.F. Spencer. Long-term and short-term autonomous structural health monitoring strategies using wireless smart sensor networks. In Proceedings of the Sixth World Conference on Structural Control and Monitoring (6WCSCM). 2014.

2013

  1. Bo Li, Zhuoxiong Sun, Kirill Mechitov, Gregory Hackmann, Chenyang Lu, Shirley Dyke, Gul Agha, and Billie F. Spencer. Realistic case studies of wireless structural control. In ICCPS, 179–188. ACM, 2013.
  2. Lauren E. Linderman, Kirill A. Mechitov, and Billie F. Spencer Jr.. Tinyos-based real-time wireless data acquisition framework for structural health monitoring and control. Structural Control and Health Monitoring, 20(6):1007–1020, 2013.

2012

  1. Robin Kim, Sung-Han Sim, Kirill Mechitov, Junho Song, and B. F. Spencer. Reliability-based diagnosis of wireless sensor network communication quality using readily available data. In Joint Conference of the Engineering Mechanics Institute and the 11th ASCE Joint Specialty Conference on Probabilistic Mechanics and Structural Reliability. 2012.
  2. Jian Li, Tomonori Nagayama, Kirill Mechitov, and B. F. Spencer. Efficient campaign-type structural health monitoring using wireless smart sensors. In Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems, vol. 8345. 2012.
  3. Kirill Mechitov and Gul Agha. An architecture for dynamic service-oriented computing in networked embedded systems. In Software Service and Application Engineering, volume 7365 of Lecture Notes in Computer Science, 147–164. Springer, 2012.
  4. Kirill Mechitov and Gul Agha. Building portable middleware services for heterogeneous cyber-physical systems. In SESENA, 31–36. IEEE, 2012.
  5. Paria Moinzadeh, Kirill Mechitov, Reza Shiftehfar, Tarek F. Abdelzaher, Gul Agha, and Billie F. Spencer. The time-keeping anomaly of energy-saving sensors: manifestation, solution, and a structural monitoring case study. In SECON, 380–388. IEEE, 2012.

2011

  1. Hongki Jo, Sung-Han Sim, Kirill Mechitov, Robin Kim, Parya Moinzadeh, B. F. Spencer, Soojin Cho, Hyung-Jo Jung, Chung-Bang Yun, Jennifer Rice, and Tomonori Nagayama. Hybrid wireless smart sensor network for full-scale structural health monitoring of a cable-stayed bridge. In Proc. SPIE 7981, Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems. 2011.
  2. Lauren Linderman, Kirill Mechitov, and B. F. Spencer. Real-time wireless data acquisition for structural health monitoring and control. Newmark Structural Engineering Laboratory Report Series 029, University of Illinois at Urbana-Champaign, 2011.
  3. Kirill Mechitov. A Service-Oriented Architecture for Dynamic Macroprogramming of Sensor Networks. Kirill Mechitov. A Service-Oriented Architecture for Dynamic Macroprogramming of Sensor Networks PhD thesis, University of Illinois at Urbana-Champaign, 2011.
  4. J. A. Rice, K. A. Mechitov, S. H. Sim, B. F. Spencer, and G. A. Agha. Enabling framework for structural health monitoring using smart sensors. Structural Control and Health Monitoring, 18(5):574–587, 2011.

2010

  1. Soojin Cho, ShinAe Jang, Hongki Jo, Kirill Mechitov, Jennifer Rice, Hyung-Jo Jung, Chung-Bang Yun, B. F. Spencer, Tomonori Nagayama, and Ju-Won Seo. Structural health monitoring system of a cable-stayed bridge using a dense array of scalable smart sensor network. In Proc. SPIE Smart Structures/NDE, vol. 7647. 2010.
  2. ShinAe Jang, Hongki Jo, Soojin Cho, Kirill Mechitov, Jennifer Rice, Sung-Han Sim, Hyung-Jo Jung, Chung-Bang Yun, B. F. Spencer, and Gul Agha. Structural health monitoring of a cable-stayed bridge using smart sensor technology: deployment and evaluation. Smart Structures and Systems, 6(5):439–460, 2010.
  3. YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, and Gul Agha. Resilient localization for sensor networks in outdoor environments. TOSN, 2010.
  4. Tomonori Nagayama, Hyung-Jo Jung, B. F. Spencer, ShinAe Jang, Kirill Mechitov, Soojin Cho, Mitsushi Ushita, Chung-Bang Yun, Gul Agha, and Yozo Fujino. International collaboration to develop a structural health monitoring system utilizing wireless smart sensor network and its deployment on a cable-stayed bridge. In 5th World Conference on Structural Control and Monitoring. 2010.
  5. Tomonori Nagayama, Parya Moinzadeh, Kirill Mechitov, Mitsushi Ushita, Noritoshi Makihata, Masataka Ieiri, Gul Agha, B. F. Spencer, Yozo Fujino, and Ju-Won Seo. Reliable multi-hop communication for structural health monitoring. Smart Structures and Systems, 6(5):481–504, 2010.
  6. Jennifer Rice, Kirill Mechitov, Sung-Han Sim, Tomonori Nagayama, ShinAe Jang, Robin Kim, B. F. Spencer, Gul Agha, and Yozo Fujino. Flexible smart sensor framework for autonomous structural health monitoring. Smart Structures and Systems, 6(5):423–438, 2010.
  7. Jennifer Rice, Kirill Mechitov, B. F. Spencer, and Gul Agha. Autonomous smart sensor network for full-scale structural health monitoring. In Proc. SPIE Smart Structures/NDE, vol. 7647. 2010.

2008

  1. Tomonori Nagayama, B. F. Spencer, Kirill Mechitov, and Gul Agha. Middleware services for structural health monitoring using smart sensors. In Smart Structures and Systems, vol. 5, no. 2. 2008.
  2. Jennifer Rice, Kirill Mechitov, B. F. Spencer, and Gul Agha. A service-oriented architecture for structural health monitoring using smart sensors. In Proc. 14th World Conference on Earthquake Engineering. 2008.
  3. Jennifer Rice, Kirill Mechitov, B. F. Spencer, and Gul Agha. Flexible smart sensing framework for structural health monitoring. In Proc. US-Korea Workshop on Bio-Inspired Sensor Technology and Infrastructure Monitoring. 2008.
  4. Sergei Shevlyagin, Kirill Mechitov, and Gul Agha. Fault tolerance in actornet. In UIUC Department of Computer Science Undergraduate Research Symposium. 2008.

2007

  1. Kirill Mechitov, Reza Razavi, and Gul Agha. Architecture design principles to support adaptive service orchestration in wsn applications. In International Workshop on Wireless Sensor Network Architectures (WWSNA). 2007.
  2. Kirill Mechitov, Reza Razavi, and Gul Agha. Architecture design principles to support adaptive service orchestration in wsn applications. SIGBED Review, 4(3):37–42, 2007.
  3. Reza Razavi, Kirill Mechitov, Gul Agha, and Jean-Francois Perrot. Ambiance: a mobile agent platform for end-user programmable ambient systems. In J.C. Augusto and D. Shapiro (eds.), Advances in Ambient Intelligence, Frontiers in Artificial Intelligence and Applications (FAIA), vol. 164, IOS Press. 2007.
  4. Reza Razavi, Kirill Mechitov, Gul Agha, and Jean-Francois Perrot. Dynamic macroprogramming of wireless sensor networks with mobile agents. In 2nd Workshop on Artificial Intelligence Techniques for Ambient Intelligence (AITAmI). 2007.

2006

  1. YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, and Gul Agha. Actornet: an actor platform for wireless sensor networks. In AAMAS, 1297–1300. ACM, 2006.
  2. Kirill Mechitov, WooYoung Kim, Gul Agha, and Tomonori Nagayama. High-frequency distributed sensing for structure monitoring. In Trans. of the Society of Instrument and Control Engineers (SICE), vol. E-S-1, no. 1, pages 109-114. 2006.
  3. Tomonori Nagayama, B. F. Spencer, Gul Agha, and Kirill Mechitov. Model-based data aggregation for structural monitoring employing smart sensors. In 3rd International Conference on Networked Sensing Systems (INSS). 2006.
  4. Reza Razavi, Kirill Mechitov, Sameer Sundresh, Gul Agha, and Jean-François Perrot. Ambiance: adaptive object model-based platform for macroprogramming sensor networks. In OOPSLA Companion, 663–664. ACM, 2006.

2005

  1. WooYoung Kim, Kirill Mechitov, Jeung-Yoon Choi, and Soo Kyung Ham. On target tracking with binary proximity sensors. In IPSN, 301–308. IEEE, 2005.
  2. YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, and Gul A. Agha. Resilient localization for sensor networks in outdoor environments. In ICDCS, 643–652. IEEE Computer Society, 2005.
  3. YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, and Gul Agha. Actornet: an actor platform for wireless sensor networks. In Technical Report UIUCDCS-R-2005-2595, Department of Computer Science, University of Illinois at Urbana-Champaign. 2005.
  4. Sameer Sundresh, YoungMin Kwon, Kirill Mechitov, WooYoung Kim, and Gul Agha. Localization of sparse sensor networks using layout information. In Technical Report UIUCDCS-R-2005-2525, Department of Computer Science, University of Illinois at Urbana-Champaign. 2005.

2004

  1. YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, and Gul Agha. Resilient localization for sensor networks in outdoor environments. In Technical Report UIUCDCS-R-2004-2449, Department of Computer Science, University of Illinois at Urbana Champaign. 2004.
  2. Kirill Mechitov, WooYoung Kim, Gul Agha, and Tomonori Nagayama. High-frequency distributed sensing for structure monitoring. In First International Workshop on Networked Sensing Systems (INSS), pages 101-104. 2004.
  3. Tomonori Nagayama, Manuel Ruiz Sandoval, B. F. Spencer, Kirill Mechitov, and Gul Agha. Wireless strain sensor development for civil infrastructure. In First International Workshop on Networked Sensing Systems (INSS), pages 97-100. 2004.

2003

  1. Gul Agha, WooYoung Kim, YoungMin Kwon, Kirill Mechitov, and Sameer Sundresh. Evaluation of localization services (preliminary report). In DARPA NEST Program. 2003.
  2. Prasanna V. Krishnan, Lui Sha, and Kirill Mechitov. Reliable upgrade of group communication software in sensor networks. In First IEEE International Workshop on Sensor Network Protocols and Applications (SNPA), pages 82-92. 2003.
  3. Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, and Gul Agha. Cooperative tracking with binary-detection sensor networks. In Technical Report UIUCDCS-R-2003-2379, Department of Computer Science, University of Illinois at Urbana-Champaign. 2003.
  4. Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, and Gul Agha. Cooperative tracking with binary-detection sensor networks. In SenSys, 332–333. ACM, 2003.
  5. Sameer Sundresh, Gul Agha, Kirill Mechitov, WooYoung Kim, and YoungMin Kwon. Coordination services for wireless sensor networks. In International Workshop on Advanced Sensors, Structural Health Monitoring and Smart Structures. 2003.