ACCESS Laboratory Members

Solomon Gebreyohannes received his Bachelor of Electrical Engineering from Dar University in 2005, and his Master of Science in Electrical Engineering from Ababa University in 2011. He received his Ph.D. Degree from the North Carolina A&T State University in 2016, and then joined the Autonomous Cooperative Control of Emergent Systems of Systems (ACCESS) Lab at North Carolina A&T State University for his postdoctral studies on Test and Evaluation of Autonomous Vehicles. His research interests include “Test and Evaluation,” “Artificial Intelligence,” “Data Analytics,” and “Robotic Systems”.

• Ph.D., Electrical Engineering, North Carolina A&T State University, Greensboro, NC, 2016
• M.Sc., Electrical & Computer Engineering, Addis Ababa University, Addis Ababa, Ethiopia,2011
• B.Sc., Electrical Engineering, Bahir Dar University, Bahir Dar, Ethiopia, 2005

• Best Paper Honorable Mention Award for the paper S. Gebreyohannes, W. Edmonson, A. Esterline, A. Homaifar, and N. Kibret, "Fuzzy Classification Context for the Responsive and Formal Design Process", 11th Annual IEEE International Systems Conference (SysCon), pp. 1-8, Apr 2017.
• Samuel Langley graduate student scholarship, 2009.
• Best Paper award for the paper S. Gebreyohannes, W. Edmonson, and A. Esterline, "Formalization of the Responsive and Formal Design Process using Category Theory", Annual IEEE International Systems Conference (SysCon), Apr 23-26, 2018.

• Vinh K, Solomon Gebreyohannes, Ali Karimoddini, “An Area-decomposition Based Approach for Cooperative Tasking and Coordination of UAVs in a Search and Coverage Mission,” Proc. of 2019 the IEEE Aerospace Conference. [Demonstration]

• S. Gebreyohannes, W. Edmonson, and A. Esterline, "Formal Requirements Management", IEEE Systems Journal, Dec 2017.

• Solomon Gebreyohannes, Ali Karimoddini, Abdollah Homaifar, and Albert Esterline, “Formal Verification of a Fuzzy Rule-Based Classifier Using the Prototype Verification System” Proc. of the 37th North American Fuzzy Information Processing Society Annual Conference, NAFIPS 2018. [Presentation]

• Abel Hailemichael, Solomon Gebreyohannes, Ali Karimoddini, Kaushik Roy, Abdollah Homaifar, “Development of a Generic and Configurable Fuzzy Logic Systems Library for Real-Time Control Applications Using an Object-oriented Approach,” Proc. of 2018 Second IEEE International Conference on Robotic Computing (IRC), 2018. [Github Source]

• N. Kibret, W. Edmonson, S. Gebreyohannes, "Ontology Driven Requirements Engineering in the Responsive and Formal Design Process", May 9, 2018.

• S. Gebreyohannes, W. Edmonson, and A. Esterline, "Formalization of the Responsive and Formal Design Process using Category Theory", Annual IEEE International Systems Conference (SysCon), Apr 23-26, 2018 (Best paper Award).

• S. Gebreyohannes, W. Edmonson, A. Esterline, A. Homaifar, and N. Kibret, "Fuzzy Classification Context for the Responsive and Formal Design Process", 11th Annual IEEE International Systems Conference (SysCon), pp. 1-8, Apr 2017 (Best Paper Honorable Mention Award).

• S. Gebreyohannes, T. Bogale, W. Edmonson, and L. Worku, "Systems Engineering Education for East Africa", 7th International Conference on Complex Systems Design & Management (CSDM), pp. 203-214, Springer International Publishing, Dec 2016.

• S. Gebreyohannes, W. Edmonson, A. Esterline, and J. Chenou, "Requirement Hierarchy in the Responsive and Formal Design Process", Second IEEE International Symposium on Systems Engineering, pp. 1-8, Oct 2016.

• A. Co ey, M. Diaz, S. Gebreyohannes, R. McCabe, L. Olamigoke, E. Petro, and A. Shrestha, "Titan AerialExplorer", AIAA Aviation and Aeronautics Forum and Exposition, NIA Student Session (Presentation), June 2016.

• S. Gebreyohannes, R. Radhakrishnan, W. Edmonson, A. Esterline, and F. Afghah, "Formalizing Inter-Satellite Communication Specification in Small Satellite System", 4S Small Satellite Systems and Services Symposium, May 2016.

• S. Gebreyohannes, W. Edmonson, J. Chenou, N. Neogi, and A. Esterline, "Formal requirement management for the Responsive and Formal Design Process", First IEEE International Symposium on Systems Engineering, Sep 2015.

• W. Edmonson, S. Gebreyohannes, A. Dillion, R. Radhakrishnan, J. Chenou, A. Esterline, and F. Afghah, "Systems Engineering of Inter-Satellite Communications for Distributed Systems of Small Satellites", 9th Annual IEEE, International Systems Conference (SysCon), pp. 705-710, Apr 2015.