Intelligent Systems Laboratory (ISL), University of Arizona: An Overview
The Intelligent Systems Laboratory (ISL) is an academic research and educational entity operating within the Electrical and Computer Engineering (ECE) Department at the University of Arizona in Tucson, Arizona, USA. It is not a commercial company but a university laboratory dedicated to the advanced study and development of methodologies for modeling and simulation. The lab is renowned for its foundational work in systems theory, particularly for the creation and advancement of the Discrete Event System Specification (DEVS) formalism, a powerful mathematical framework for modeling complex systems.
The core mission of the ISL is to conduct pioneering research into the theory and application of modeling and simulation (M&S) for the design, analysis, and operation of complex, intelligent systems. The laboratory serves as an intellectual hub for faculty, graduate students, and researchers who are focused on developing rigorous, science-based approaches to understand and engineer systems in fields ranging from defense and engineering to biology and social science. The work produced by the lab is highly theoretical but has profound practical implications for creating more efficient, robust, and intelligent engineered systems.
Continue…
Core Business and Strategic Functions
The principal "business" of the ISL is the generation of new knowledge, the development of powerful modeling and simulation frameworks, and the education of the next generation of systems engineers and scientists. Its strategic functions are to advance the science of M&S, apply these advancements to solve real-world problems, and disseminate its findings through academic and educational channels.
ISL's operations are built on several key pillars:
Foundational Research in Systems Theory: The laboratory's primary activity is conducting fundamental research. A significant portion of this work revolves around the DEVS formalism and its various extensions. DEVS provides a structured, hierarchical, and modular way to model systems that change at discrete points in time (discrete events), which is applicable to a vast range of real-world phenomena.
Development of M&S Methodologies: ISL focuses on creating complete methodologies that cover the entire lifecycle of system development. This includes not only the mathematical formalisms for modeling but also the associated simulation algorithms, software architectures for implementing these algorithms, and frameworks for testing and validating complex systems.
Application to Diverse Domains: A key function of the lab is to apply its theoretical work to a wide array of practical domains. This demonstrates the power and flexibility of their methodologies and helps to solve critical challenges in areas such as military systems engineering, network security, and biological systems modeling.
Education and Dissemination: The lab is deeply integrated into the educational mission of the university. It serves as the training ground for graduate students and its faculty teach core courses related to its research. The lab actively disseminates its work through publications, textbooks, and software.
"Products" and "Services"
As an academic laboratory, ISL's "products and services" are its intellectual contributions, educational offerings, and the powerful tools and frameworks it develops.
1. The DEVS Formalism and its Extensions (Core Product)
The most significant product to emerge from and be continuously developed by ISL is the DEVS (Discrete Event System Specification) formalism.
* What it is: DEVS is a formal, mathematical framework for modeling and simulating systems. It provides a precise and unambiguous way to describe the structure and behavior of a system, allowing for rigorous analysis and simulation. Its key advantage is its support for hierarchical and modular model construction, which makes it possible to build and manage models of extremely complex systems.
* Extensions: The lab has developed numerous extensions to the core DEVS framework to handle different types of systems, including:
* Dynamic Structure DEVS: For systems that can change their own structure during simulation.
* Cell-DEVS: For modeling complex systems with spatial properties (cellular automata).
* Parallel DEVS (P-DEVS): An extension to enable high-performance, parallel execution of simulations.
2. Software and Simulation Environments
ISL develops software that implements its theoretical frameworks, making them usable by other researchers and engineers.
* MS4 Me (Modeling and Simulation for Systems of Systems Engineering): This is a key software product developed by the lab. It is a comprehensive framework and environment that supports the entire M&S lifecycle, based on DEVS and other systems-theoretic concepts. It provides tools for model development, simulation, and experimentation. This software is a tangible product that enables others to apply the lab's research.
3. Research and Publications
The primary output of the lab is its vast body of research, which is a key "service" to the global scientific community.
* Peer-Reviewed Publications: The faculty and students of ISL regularly publish their findings in top-tier academic journals and conference proceedings, contributing to the advancement of M&S science.
* Textbooks and Monographs: Faculty associated with the lab, most notably its director Dr. Bernard P. Zeigler, have authored seminal textbooks on modeling and simulation, including "Theory of Modeling and Simulation," which is a foundational text in the field.
4. Education and Courses (Core Service)
The lab provides a critical educational service within the University of Arizona's ECE department.
* Graduate Courses: The faculty of ISL teach graduate-level courses on topics directly related to their research, such as:
* ECE 575: Simulation Modeling and Analysis
* ECE 675: Advanced Simulation Modeling
These courses train Master's and Ph.D. students in the principles of DEVS and advanced M&S techniques.
* Graduate Student Mentoring: The lab serves as the primary research home for graduate students pursuing their M.S. and Ph.D. degrees, providing them with mentorship and hands-on research experience. The highly skilled graduates who emerge from the lab are themselves a key "product."
