Dr. Abbas K. Zaidi |
|
George Mason University The Volgenau School of Information Technology and Engineering Electrical and Computer Engineering System Architectures Laboratory Research Professor & Director ResearchAppointed: 2007 |  |
Mailing AddressMSN 1G5, Science and Technology II George Mason University 4400 University Drive Fairfax, Virginia 22030United States | Contact Information |
Qualifications
Ph.D., George Mason University, Information Technology and Engineering, 1994.
M.S., George Mason University, Electrical and Computer Engineering, 1991.
B.E., N. E. D. University of Engineering and Technology, Electrical Engineering, 1989.
Expertise and Research Interests
System Architectures
Discrete Event Systems
Validation and Verification of Systems
Model Checking Architectures
Temporal and Spatial Logics
Knowledge Management
Constraint Programming
Temporal Planning
Intelligent Agents
Colored Petri Nets
Discrete Event Systems
Validation and Verification of Systems
Model Checking Architectures
Temporal and Spatial Logics
Knowledge Management
Constraint Programming
Temporal Planning
Intelligent Agents
Colored Petri Nets
Other Expertise
Helped develop a temporal reasoning and planning tool, called TEMPER, that implements Point Interval Logic and accompanying algorithms for solving verification, satisfiability, and inference mechanisms.
Helped develop a modeling software using Influence Nets. The software is used as an aid to decision maker in selecting a particular Course of Action (CoA).
Helped develop a software for modeling the temporal aspects of a system using Timed Influence Nets. The software, called Situational Assessment Modeling Tool (SAMT), helps the decision maker in identifying the time intervals critical for a particular Course of Action (CoA) besides figuring out the most important actions/events by performing Sensitivity Analysis. The software is also capable of assessing the state of the system and the associated uncertainty at any particular time slice.
Developed a dynamic model of a complex large-scale decision making organization. Model involved detection of inputs through organic/inorganic sensors, fusion of sensory data to identify the nature and intent of the input, and execution of doctrine to select a response. The effort resulted in the first ever colored Petri net model of a C2 system.
Helped develop the executable model of Copernicus Architecture. Model involved building an interactional structure of all the physical assets of the organization together with the information flow-paths and their capacities. The operational structure of the organization was tested for potential scenarios, and used for running simulations for different communication protocols and information fusion algorithms.
Helped develop tools for performance evaluation and effectiveness evaluation of information systems, and man-machine organizations. Effort involved formulating techniques to evaluate system performance for certain performance measures, i.e., timeliness, accuracy, etc.
Developed a verification tool, called RULER, for organizational decision making procedures. The tool models the rules and regulations of an organization, and evaluates the analytical structure of the rule-base for logical inconsistencies and errors. The project and its application was supported by the grants provided by ONR, Science Applications International Corporation (SAIC), and MITRE Corporation, USA.
Involved in an effort to model time-sensitive aspects of an event-driven system. The system, called TEMPER, has capabilities to model the time aspects of a system, and to plan a mission, provided temporal requirements of the mission are given to it. The effort shall result in an automated planner/scheduler for timecritical missions.
Helped develop a modeling software using Influence Nets. The software is used as an aid to decision maker in selecting a particular Course of Action (CoA).
Helped develop a software for modeling the temporal aspects of a system using Timed Influence Nets. The software, called Situational Assessment Modeling Tool (SAMT), helps the decision maker in identifying the time intervals critical for a particular Course of Action (CoA) besides figuring out the most important actions/events by performing Sensitivity Analysis. The software is also capable of assessing the state of the system and the associated uncertainty at any particular time slice.
Developed a dynamic model of a complex large-scale decision making organization. Model involved detection of inputs through organic/inorganic sensors, fusion of sensory data to identify the nature and intent of the input, and execution of doctrine to select a response. The effort resulted in the first ever colored Petri net model of a C2 system.
Helped develop the executable model of Copernicus Architecture. Model involved building an interactional structure of all the physical assets of the organization together with the information flow-paths and their capacities. The operational structure of the organization was tested for potential scenarios, and used for running simulations for different communication protocols and information fusion algorithms.
Helped develop tools for performance evaluation and effectiveness evaluation of information systems, and man-machine organizations. Effort involved formulating techniques to evaluate system performance for certain performance measures, i.e., timeliness, accuracy, etc.
Developed a verification tool, called RULER, for organizational decision making procedures. The tool models the rules and regulations of an organization, and evaluates the analytical structure of the rule-base for logical inconsistencies and errors. The project and its application was supported by the grants provided by ONR, Science Applications International Corporation (SAIC), and MITRE Corporation, USA.
Involved in an effort to model time-sensitive aspects of an event-driven system. The system, called TEMPER, has capabilities to model the time aspects of a system, and to plan a mission, provided temporal requirements of the mission are given to it. The effort shall result in an automated planner/scheduler for timecritical missions.
Future Research
Combining Qualitative and Quantitative Reasoning
Situation Assesment using Domain Ontologies
Situation Assesment using Domain Ontologies
Keywords
COS Keywords:
Computer and Information Sciences, Computer Engineering, Distributed System, Electrical Engineering or Electronics, Information Technology, Intelligent Agents or Systems.Additional Terms:
Discrete Event System, Distributed Intelligence Systems, Intelligent Agents, Reasoning Under Uncertainty, Spatial Logic, Temporal Logic, V & V of Knowledge Bases.Languages
(Reading, Writing, Speaking)
English: (Fluent, Fluent, Fluent)
Urdu: (Fluent, Fluent, Fluent)
Hindi: (None, None, Fluent)
Farsi (Persian): (Functional, Basic, Functional)
Memberships
Association for Computing Machinery
IEEE - Systems, Man, and Cybernetics Society
IEEE Computer Society
IEEE Education Society
International Council on Systems Engineering
Pakistan Engineering Council
Sigma Xi, The Scientific Research Society
Honors and Awards
1995-1996,
Graduate Fellowship,
School of Information Technology and Engineering,
George Mason University
1986-1988,
Merit Scholarship,
NED University of Engineering and Technology
1980-1982,
Merit Scholarship,
Board of Secondary School Education,
Karachi, Pakistan
Previous Positions
2003-2007, Research Associate Professor,
George Mason University,
School of Information Technology and Engineering,
Electrical and Computer Engineering,
System Architectures Lab
1999-2002, Dean of the Faculty,
Mohammad Ali Jinnah University,
Electrical Engineering and Computer Science
1998-2007, Affiliate Associate Professor,
George Mason University,
School of Information Technology and Engineering,
Center of Excellence in C3I,
System Architectures Lab
1998-2003, Associate Professor,
Mohammad Ali Jinnah University,
Electrical Engineering and Computer Science
1996-1998, Assistant Professor,
University of Karachi,
Faculty of Science,
Computer Science
1995-1995, Research Assistant Professor,
George Mason University,
School of Information Technology & Engineering,
Center of Excellence in Command, Control, Communication, and Intelligence
1995-1996, Assistant Professor,
FAST Institute of Computer Science
1991-1994, Graduate Research Assistant,
George Mason University,
School of Information Technology and Engineering,
Center of Excellence in Command, Control, Communication, and Intelligence
1990-1991, Graduate Research Assistant,
George Mason University,
School of Information Technology and Engineering,
Electrical and Computer Engineering,
Center of Excellence in Command, Control, Communication, and Intelligence
1989-1990, Lecturer,
N. E. D. University of Engineering and Technology,
Electrical and Computer Systems Engineering
Funding Received
- AFOSR: Capability Driven Interactive Planning, 2005 to 2008.
- AFOSR: Time Sensitive Control of Aerospace Operations, 2000 to 2004.
- AFOSR: Temporal Reasoning, 1998 to 2000.
- AFOSR: Temporal Reasoning, 1995 to 1998.
- MITRE Corporation, Grant Provided Through the Center of Excellence in C3I, GMU, Farifax, VA: , 1992 to 1994.
- ONR, Grant Provided Through the Center of Excellence in C3I, GMU, Farifax, VA: , 1992 to 1994.
- Basic Research Group, Joint Directors of Laboratories (JDL), Grant Provided Through the Center of Excellence in C3I, GMU, Farifax, VA: , 1990 to 1991.
- Science Applications International Corporation (SAIC), Grant Provided Through the Center of Excellence in C3I, GMU, Farifax, VA: , 1990 to 1991.
- ONR, Grant Provided Through the Center of Excellence in C3I, GMU, Farifax, VA: , 1990 to 1991.
Publications
- Mashhood Ishaque, Abbas K. Zaidi (2009) Project Management Using Point Graphs, Journal of Systems Engineering, 12 (1), In Press
- Titsa Papantoni-Kazakos, Abbas K. Zaidi, Muhammad F. Rafi (2008) An Algorithm for Activation Timed Influence Nets, The 2008 IEEE International Conference on Information Reuse and Integration, IEEE SMC, Las Vegas, 8 pages
- Mashhood Ishaque, Faisal Mansoor, Abbas K. Zaidi (2008) An Inference Mechanism for Point-Interval Logic, The 21st International FLAIRS Conference, Association for the Advancement of Artificial Intelligence, Coconut Grove, FL
- Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis (2008) Identification of Best Sets of Actions in Influence Nets, Journal of Heuristics, In Press
- Abbas K. Zaidi, Faisal Mansoor, P. Papantoni-Kazakos (2007) Modeling with Influence Networks Using Influence Constants: A New Approach, 2007 IEEE International Conference on Systems, Man, and Cybernetics, IEEE Systems, Man, and Cybernetics, Montreal, Canada, 6 pages
- Abbas K. Zaidi, Mashhood Ishaque, Alexander H. Levis (2007) Project Management Using Point Graphs, Conference on Systems Engineering Research (CSER), INCOSE, 10 pages
- Ashraf AbuSharekh, Smriti Kansal, Abbas K. Zaidi, Alexander H. Levis (2007) Modeling Time in DoDAF Compliant Executable Architectures, Conference on Systems Engineering Research (CSER), INCOSE, 10 pages
- Abbas K. Zaidi, Faisal Mansoor, P. Papantoni-Kazakos (2007) Theory of Influence Networks, IEEE Transactions on SMC, Part A: Systems and Humans, Submitted
- Abbas K. Zaidi, Mashhood Ishaque, Alexander H. Levis (2007) Using Temporal Reasoning for Criminal Forensics against Terrorists, Newton Howard and Ammar Qusaibaty (Eds.), Mathematical Models for Counterterrorism, Springer Series, In Press
- Abbas K. Zaidi, Alexander H. Levis (2007) Computational Verification of System Architectures, IEEE Symposium Series on Computational Intelligence 2007, IEEE, Submitted
- Abbas K. Zaidi, Alexander H. Levis (2006) Using Temporal Reasoning for Criminal Forensics against Terrorists, Descartes Conference on Mathematical Models in Counterterrorism, Center for Advanced Defense Studies, Unpublished
- Mashhood Ishaque, Abbas K. Zaidi, Alexander H. Levis (June 2006) On Applying Point-Interval Logic to Criminal Forensics, 2006 Command and Control Research and Technology Symposium (CCRTS), CCRP Press
- Abbas K. Zaidi, Lee W. Wagenhals (2006) Planning Temporal Events Using Point Interval Logic, Special Issue, Mathematical and Computer Modeling (43), 1229-1253
- Abbas K. Zaidi, Alexander H. Levis (2006) Verification of System Architectures Using Modal Logics and Formal Model Checking Techniques, Conference on Systems Engineering Research (CSER)
- Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis (2006) On Converting Dynamic Influence Nets into Dynamic Bayesian Networks, International Journal of Approximate Reasoning, Submitted
- Abbas K. Zaidi, Mashhood Ishaque (2005) Time-Sensitive Planning Using Point-Interval Logic, 10th International Command and Control Research and Technology Symposium
- Abbas K. Zaidi, Lee W. Wagenhals, Sajjad Haider (2005) Assessment of Effects Based Operations Using Temporal Logic, 10th International Command and Control Research and Technology Symposium
- Sajjad Haider,, Abbas K. Zaidi (2005) On Temporal Analysis of Timed Influence Nets using Point Graphs, 18th International FLAIRS Conference, FL
- Sajjad Haider, Abbas K. Zaidi, Alexander H. Levis (2004) A Heuristic Approach for Best Set of Actions Determination in Influence Nets, IEEE International Conference on Information Reuse and Integration
- Sajjad Haider, Abbas K. Zaidi (2004) Transforming Timed Influence Nets into Time Sliced Bayesian Networks, Command and Control Research and Technology Symposium
- Abbas K. Zaidi, Kazim H. Rizvi, S. Sajjad Hussain (2003) On Spatial Modeling of Discrete Event Systems Using Point-interval Logic, Proc. of IEEE International Conference on System, Man, and Cybernetics, Washington D.C
- Daesik Kim, Abbas K. Zaidi (2003) Transforming Event Graphs to Colored Petri Nets, Proc. of IEEE International Conference on System, Man, and Cybernetics, Washington D.C
- Abbas K. Zaidi (2003) Qualitative and Quantitative Spatiotemporal Knowledge Representation and Reasoning Using Point Graphs, Workshop on Spatial and Temporal Reasoning, 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico
- Abbas K. Zaidi, Imran Rauf (2002) A Temporal Programmer for Revising Temporal Models of Discrete-Event Systems, 2002 International Conference on Systems, Man, and Cybernetics, Hemmamat, Tunisia
- S. Sajjad Hussain, Abbas K. Zaidi (2002) On Spatial Reasoning Using Point Interval Logic, One Day National Conference on Computer Science Trends in Pakistan, University of Sindh, Jamshoro
- Mushhood Ishaq, Abbas K. Zaidi (2002) On Designing and Evaluating Computer Science Curricula in Pakistan, One Day International Conference on Computer Science Trends in Pakistan, University of Sindh, Jamshoro, Unpublished
- Abbas K. Zaidi (2002) On Solutions to Timeliness and Accuracy Requirements in Man-Machine Organizations--Rightsizing an Organization, One Day International Conference on Computer Science Trends in Pakistan, University of Sindh, Jamshoro
- Abbas K. Zaidi, Alexander H. Levis (2001) TEMPER: A Temporal Programmer For Time-Sensitive Control Of Discrete Event Systems, Systems, Man and Cybernetics, Part A, IEEE Transactions on, 31 (6), 485-496
- Shahid Jabbar, Abbas K. Zaidi (2001) A Generalized Methodology and Framework for the Validation and Verification of Multi-agent Systems, IEEE SMC Conference, Tuscon, AZ
- Abbas K. Zaidi, Shahid Jabbar, Khalid J. Siddiqui (2000) On a Utility for the Validation and Verification of Knowledge Bases of Intelligent Agents, Photonics East, Boston, MA
- Abbas K. Zaidi (2000) A Temporal Programmer for Time-sensitive Modeling of Discrete-event Systems, IEEE SMC Society Conference 2000
- Muhammad Zubairuddin, Abbas K. Zaidi (2000) On a Methodology for Designing Adaptive Local Area Networks, IEEE SMC Society Conference 2000
- Sajjad Haider, Ahmad Abbas, Abbas K. Zaidi (2000) A multi-technique Approach for User Identification Through Keytroke Dynamics, Proc. IEEE SMC Society Conference 2000
- Abbas K. Zaidi, Alexander H. Levis (1999) On Generating Variable Structure Organizations Using Genetic Algorithm In Gupta M. M., Sinha N. K. (eds), Soft Computing and Intelligent Systems, Gupta M. M. and Sinha N. K. (eds.), IEEE Press (bookchapter)
- Abbas K. Zaidi (1999) On Temporal Programming Using Petri Nets, IEEE Transaction on SMC, Part A: Systems and Humans, 29 (3), 245-254
- Abbas K. Zaidi, Alexander H. Levis (1998) On Generating DIS Architectures Using Genetic Algorithms, IEEE Transactions on Systems, Man and Cybernetics-Part C: Applications And Reviews, 28 (3), 453-459
- Abbas K. Zaidi, Shabbir T. Ali, Alexander H. Levis (1998) A Genetic Algorithm Based Tool For Generating Organizational Architectures, IEEE International Conference on Systems, Man, and Cybernetics
- Abbas K. Zaidi, Alexander H. Levis (1997) Validation and Verification of Decision Making Rules, Automatica, 33 (2), 155-169
- Abbas K. Zaidi, Alexander H. Levis (1996) On Generating DIS Architectures Using Genetic Algorithms, International Symposium on Command and Control Research and Technology, Monterey, California
- Abbas K. Zaidi, Alexander H. Levis (1995) Rule Decomposition and Validation for Distributed Decision Making, 1995 First International Symposium on Command and Control Research and Technology, National Defense University, Washington, DC, 210-217 pages
- Zheny Jin, Abbas K. Zaidi, Alexander H. Levis (1995) Deadlock and Trap Analysis in Petri Nets Representing C2 Systems, First International Symposium on Command and Control Research and Technology, National Defense University, Washington, DC, 218-226 pages
- Abbas K. Zaidi, Alexander H. Levis (1995) On Verifying Inferences in an Influence Diagram, First International Symposium on Command and Control Research and Technology, National Defense University, Washington, DC, 443-451 pages
- Abbas K. Zaidi, Alexander H. Levis (1995) Validation and Verification of Decision Making Rules, 6th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design and Evaluation of Man-Machine Systems, MIT, Cambridge, MA, 53-60 pages
- Abbas K. Zaidi, Alexander H. Levis (1995) Object Oriented Design of a Multilevel Hierarchical Organization Structure, US/Portugal Workshop On Underwater Vehicles and Intelligent Control, Lisbon, Portugal University of So. Louisiana Press
- Abbas K. Zaidi, A. H. Levis (1994) Algorithmic Design of Distributed Intelligence System Architectures, Intelligent Control Systems: Theory and Practice, IEEE Press, IEEE Press (bookchapter)
- Didier Perdu, Abbas K. Zaidi, Azar Sadigh, Paul Lehner, Alexander H. Levis (1993) On a Methodology for Team Design Using Influence Diagrams, Symposium on Command and Control Research, 77-84 pages
- Abbas K. Zaidi, Alexander H. Levis, A Mathematical Description of Team Design and Indirect Coordination, Symposium on Command and Control Research, National Defense University, Washington DC, 1993
- Abbas K. Zaidi, Alexander H. Levis (1992) Algorithmic Design of Multilevel Organizational Structures, IEEE International Conference on Systems, Man, and Cybernetics, Chicago, 668-673 pages
- Abbas K. Zaidi, Alexander H. Levis (1992) Accuracy and Timeliness in Developing a Tactical Picture, International Conference on Information Decision - Action Systems in Complex Organizations, 186-190 pages
- Gaylord, R. F, Abbas K. Zaidi, S. L. Hearold, A. H. Levis (1991) Developing the Battle Group Tactical Picture: A Petri Net Model, Symposium on Command and Control Research, 104-114 pages
Profile Details
Last Updated: 8/20/2008
COS Expertise ID #760971
Reference this profile directly: http://myprofile.cos.com/szaidi
Individual Expertise profile of Abbas K. Zaidi, Copyright Abbas K. Zaidi.
© COS ExpertiseTM, 2009, ProQuest LLC All rights reserved.