Gabriel Wainer

Last updated
Gabriel A. Wainer
Gw-Good.jpg
Born
Gabriel Andrés Wainer

Buenos Aires, Argentina
Nationality Canadian, Argentinian
Alma mater University of Buenos Aires and Aix-Marseille University
Known forScientific contributions to Modeling and Simulation
AwardsFellow of The Society for Modeling and Simulation International (SCS)
Scientific career
Fields Computational Science and Engineering
Institutions Carleton University

Gabriel A. Wainer (Gabriel Wainer) is a Canadian/Argentinian computer scientist known for his work in modeling and simulation. He is a Professor in the Department of Systems and Computer Engineering at Carleton University in Ottawa, Canada.

Contents

He is the head of the Advanced Real-Time Simulation lab, located at Carleton University's Centre for advanced Simulation and Visualization (V-Sim). He is known for his research in discrete-event simulation, in the Cell-DEVS specification, [1] [2] a variant of Discrete Event System Specification (DEVS). [3]

Education and career

Wainer graduated in 1993 as a Licenciado in Computer Science from the University of Buenos Aires. He completed his Ph.D. in software engineering in 1998 at Aix-Marseille University/University of Buenos Aires.

In July 2000, he joined the Department of Systems and Computer Engineering at Carleton University (Ottawa, Canada). He held visiting positions at the University of Arizona, LSIS (CNRS), Université Paul Cézanne, University of Nice Sophia-Antipolis, INRIA Sophia-Antipolis, University of Bordeaux, University of Buenos Aires, and others.

Around 1993 he built the first Real-time version of an open-source Operating System, namely (RT-Minix). [4] The kernel was extended to include Real-Time scheduling, schedulability analysis for predictability, semaphores with priority inversion mechanisms, real-time task fault-tolerant models, [5] majority voting [6] and a new OS API. [7] This idea was followed by other researchers, leading to the development of the first versions of RTLinux [8] at a time when Linux was still in its infancy.

He contributed to the field of modeling and simulation (M&S), introducing Cell-DEVS, [9] a formalism to build discrete-event cellular models. The formalism and tools were used to define numerous models in different areas: environmental sciences, [10] [11] biomedical, pedestrian flow, [12] [13] systems engineering, [14] architecture and construction, [15] etc. [16]

He is the inventor of the DEVStone synthetic benchmark, which is a de facto standard to evaluate DEVS simulators and compare their performance. [17] [18] [19]

Service

Prof. Wainer is a co-founder of Modeling and simulation conferences: SIMUTools, [20] ANNSIM (SCS/IEEE/ACM), [21] the Symposium on Theory of Modeling and Simulation (SCS/ACM/IEEE), and Symposium on Simulation in Architecture and Urban Design - SimAUD (SCS/ACM/IEEE). [22] He was Vice-President Conferences and Vice-President Publications of SCS, Society for Modeling and Simulation International [23] (2010-2016). [24]

Prof. Wainer is Editor in Chief of Simulation (journal), [25] member of the Editorial Board of Journal of Simulation, IEEE Computing in Science and Engineering, Wireless Networks (Elsevier), Journal of Defense Modeling and Simulation (SCS).

Books

Dr. Wainer is the author or co-author of books including:

Recognition

Wainer is a Fellow of the SCS, Society for Modeling and Simulation International (2016) "for fundamental contributions to discrete-event simulation". He obtained many other awards for his research publications and service. He is one of the few recipients of the SCS McLeod Founder's Award for Distinguished Service to the Profession. [28] He received a Canada 150 Medal in Nepean, ON [29]

Related Research Articles

<span class="mw-page-title-main">Andrew S. Tanenbaum</span> American-Dutch computer scientist (born 1944)

Andrew Stuart Tanenbaum, sometimes referred to by the handle ast, is an American–Dutch computer scientist and professor emeritus of computer science at the Vrije Universiteit Amsterdam in the Netherlands.

<span class="mw-page-title-main">Computer simulation</span> Process of mathematical modelling, performed on a computer

Computer simulation is the process of mathematical modelling, performed on a computer, which is designed to predict the behaviour of, or the outcome of, a real-world or physical system. The reliability of some mathematical models can be determined by comparing their results to the real-world outcomes they aim to predict. Computer simulations have become a useful tool for the mathematical modeling of many natural systems in physics, astrophysics, climatology, chemistry, biology and manufacturing, as well as human systems in economics, psychology, social science, health care and engineering. Simulation of a system is represented as the running of the system's model. It can be used to explore and gain new insights into new technology and to estimate the performance of systems too complex for analytical solutions.

A hybrid system is a dynamical system that exhibits both continuous and discrete dynamic behavior – a system that can both flow and jump. Often, the term "hybrid dynamical system" is used, to distinguish over hybrid systems such as those that combine neural nets and fuzzy logic, or electrical and mechanical drivelines. A hybrid system has the benefit of encompassing a larger class of systems within its structure, allowing for more flexibility in modeling dynamic phenomena.

<span class="mw-page-title-main">Mathematical and theoretical biology</span> Branch of biology

Mathematical and theoretical biology, or biomathematics, is a branch of biology which employs theoretical analysis, mathematical models and abstractions of living organisms to investigate the principles that govern the structure, development and behavior of the systems, as opposed to experimental biology which deals with the conduction of experiments to test scientific theories. The field is sometimes called mathematical biology or biomathematics to stress the mathematical side, or theoretical biology to stress the biological side. Theoretical biology focuses more on the development of theoretical principles for biology while mathematical biology focuses on the use of mathematical tools to study biological systems, even though the two terms are sometimes interchanged.

<span class="mw-page-title-main">Multi-agent system</span> Built of multiple interacting agents

A multi-agent system is a computerized system composed of multiple interacting intelligent agents. Multi-agent systems can solve problems that are difficult or impossible for an individual agent or a monolithic system to solve. Intelligence may include methodic, functional, procedural approaches, algorithmic search or reinforcement learning.

<span class="mw-page-title-main">Computational electromagnetics</span> Branch of physics

Computational electromagnetics (CEM), computational electrodynamics or electromagnetic modeling is the process of modeling the interaction of electromagnetic fields with physical objects and the environment using computers.

A discrete-event simulation (DES) models the operation of a system as a (discrete) sequence of events in time. Each event occurs at a particular instant in time and marks a change of state in the system. Between consecutive events, no change in the system is assumed to occur; thus the simulation time can directly jump to the occurrence time of the next event, which is called next-event time progression.

Kenneth Steiglitz is a Eugene Higgins Professor of Computer Science at Princeton University. He was born in Weehawken, New Jersey on January 30, 1939. He received his Doctor of Engineering Science from New York University in 1963. In 1997 he was inducted as a Fellow of the Association for Computing Machinery.

<span class="mw-page-title-main">Randal Bryant</span> American computer scientist (born 1952)

Randal E. Bryant is an American computer scientist and academic noted for his research on formally verifying digital hardware and software. Bryant has been a faculty member at Carnegie Mellon University since 1984. He served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014. Dr. Bryant retired and became a Founders University Professor Emeritus on June 30, 2020.

DEVS, abbreviating Discrete Event System Specification, is a modular and hierarchical formalism for modeling and analyzing general systems that can be discrete event systems which might be described by state transition tables, and continuous state systems which might be described by differential equations, and hybrid continuous state and discrete event systems. DEVS is a timed event system.

Reverse computation is a software application of the concept of reversible computing.

Michael Ezra Saks is an American mathematician. He is currently the Department Chair of the Mathematics Department at Rutgers University (2017–) and from 2006 until 2010 was director of the Mathematics Graduate Program at Rutgers University. Saks received his Ph.D. from the Massachusetts Institute of Technology in 1980 after completing his dissertation titled Duality Properties of Finite Set Systems under his advisor Daniel J. Kleitman.

FlexSim is a discrete-event simulation software package developed by FlexSim Software Products, Inc. The FlexSim product family currently includes the general purpose FlexSim product and healthcare systems modeling environment.

<span class="mw-page-title-main">Mohammad S. Obaidat</span> American computer scientist

Mohammad Salameh Obaidat is a Jordanian American Academic/ Computer Engineer/computer Scientist and Founding Dean of College of Computing and Informatics at the University of Sharjah, UAE. He is the Past President & Chair of Board of Directors of and a Fellow of the Society for Modeling and Simulation International (SCS), and a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) for contributions to adaptive learning, pattern recognition and system simulation . He was born in Jordan to The Obaidat known Family. He is the cousin of the Former Prime Minister of Jordan, Ahmed Obaidat and received his M.S. and Ph.D. in computer engineering from the Ohio State University, Columbus, Ohio, USA. He is known for his contributions in the fields of cybersecurity, Biometrics-based Cybersecurity, wireless networks, modeling and simulation, AI/Data Analytics. He served as President and Char of Board of Directors of the Society for Modeling and Simulation International, SCS, a Tenured Professor & Chair of Department of Computer Science at Monmouth University, Tenured Professor & Chair of Department of computer and Information Sciences at Fordham University, USA, Dean of College of Engineering at Prince Sultan University, and Advisor to the President of Philadelphia University for Research, Development and IT. He has chaired numerous international conferences and has given numerous keynote speeches.

MLDesigner is an integrated modeling and simulation tool for the design and analysis of complex embedded and networked systems. MLDesigner speeds up modeling, simulation and analysis of discrete event, discrete time and continuous time systems concerning architecture, function and performance. The tools is based on ideas of the "Ptolemy Project", done at the University if California Berkeley. MLDesigner is developed by MLDesign Technologies Inc. Palo Alto, CA, USA in collaboration with Mission Level Design GmbH, Ilmenau, Germany.

Pieter Johannes Mosterman was Chief Research Scientist and Director of the MathWorks Advanced Research & Technology Office (MARTO) at MathWorks in Natick, Massachusetts. He also holds an Adjunct Professorship at the School of Computer Science at McGill University in Montreal, Canada. His primary research interests are in Computer Automated Multiparadigm Modeling with principal applications in design automation, training systems, and fault detection, isolation, and reconfiguration.

Tuncer Ören is Turkish Canadian systems engineer. He is professor emeritus of Computer Science at the School of Electrical Engineering and Computer Science (EECS) of the University of Ottawa and Director of the he McLeod Modeling and Simulation Network (M&SNet) of the SCS. He is known for his contributions to the methodology of modelling and simulation.

<span class="mw-page-title-main">Bernard P. Zeigler</span> Engineer

Bernard P. Zeigler is a Canadian-born engineer, and Professor Emeritus of Electrical and Computer Engineering at the University of Arizona. Zeigler is a notable figure in the field of advanced modelling and simulation, known for inventing Discrete Event System Specification (DEVS) in 1976. Zeigler is also Chief Scientist at RTSync, a company with expertise in the commercial applications of DEVS, and specializations in Model-Based System Engineering (MSBE), Predictive Analytics, and Machine Learning technology.

References

  1. ↑ G. Wainer. Discrete-Event Modeling and Simulation: a Practitioner's approach”. CRC Press. Taylor and Francis. 2009.
  2. ↑ G. Wainer, N. Giambiasi. “N-Dimensional Cell-DEVS”. Discrete Event Systems: Theory and Applications, Kluwer. Vol. 12, No. 1. pp. 135-157. January 2002.
  3. ↑ Bernard P. Zeigler: Theory of Modeling and Simulation. John Wiley 1976
  4. ↑ G. Wainer. “Implementing Real-Time services in MINIX”. ACM Operating Systems Review. Vol. 9, No. 3. pp. 75-84. July 1995
  5. ↑ D. Nadig, S. S. Iyengar and D. N. Jayasimha, "A new architecture for distributed sensor integration," Proceedings of Southeastcon '93, 1993, pp. 8 p.-, doi: 10.1109/SECON.1993.465662.
  6. ↑ K. G. Shin and J. W. Dolter, "Alternative majority-voting methods for real-time computing systems," in IEEE Transactions on Reliability, vol. 38, no. 1, pp. 58-64, April 1989, doi: 10.1109/24.24574.
  7. ↑ "RT-MINIX". www.sce.carleton.ca.
  8. ↑ Barabanov, Michael (1996). A Linux Based Real-Time Operating System(M.S.).
  9. ↑ G. A. Wainer, "Modeling and simulation of complex systems with Cell-DEVS," Proceedings of the 2004 Winter Simulation Conference, 2004, pp. 60, doi: 10.1109/WSC.2004.1371301.
  10. ↑ Gabriel A. Wainer: Applying Cell-DEVS Methodology for Modeling the Environment. Simul. 82(10): 635-660 (2006)
  11. ↑ Baha Uddin Kazi, Gabriel A. Wainer: Integrated cellular framework for modeling ecosystems: Theory and applications. Simul. 94(3): 213-233 (2018)
  12. ↑ Ala'a Al-Habashna, Gabriel A. Wainer: Modeling pedestrian behavior with Cell-DEVS: theory and applications. Simul. 92(2): 117-139 (2016)
  13. ↑ Omar Hesham, Gabriel A. Wainer: Explicit Modeling of Personal Space for Improved Local Dynamics in Simulated Crowds. ACM Trans. Model. Comput. Simul. 31(4): 23:1-23:29 (2021)
  14. ↑ Khaldoon Al-Zoubi, Gabriel A. Wainer: A grid-shaped cellular modeling approach for wireless sensor networks. Simul. 98(10): 875-895 (2022)
  15. ↑ Daniella Niyonkuru, Gabriel A. Wainer: A DEVS-based engine for building digital quadruplets. Simul. 97(7) (2021)
  16. ↑ "ARSLab Publications". cell-devs.sce.carleton.ca.
  17. ↑ G. Wainer, E. Glinsky, M. Gutiérrez-Alcaraz. “Studying Performance of DEVS Modeling and Simulation Environments using the DEVStone Benchmark”. SIMULATION: Transactions of the Society for Modeling and Simulation International. Vol. 87, No. 7, pp. 555–580. July 2011
  18. ↑ E. Glinsky, G. Wainer. “DEVSTONE: a Benchmarking Technique for Studying Performance of DEVS Modeling and Simulation Environments”. Proceedings of IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications DS-RT. Montréal, QC. 2005.
  19. ↑ Román Cárdenas, Kevin Henares, Patricia Arroba, José L. Risco-Martín, Gabriel A. Wainer: The DEVStone Metric: Performance Analysis of DEVS Simulation Engines. ACM Trans. Model. Comput. Simul. 32(3): 21:1-21:20 (2022)
  20. ↑ "dblp: SimuTools". dblp.org.
  21. ↑ "2022 ANNSIM".
  22. ↑ "Here's How We Built a Vibrant Research Community Around Simulation for Architecture".
  23. ↑ "The Society For Modeling and Simulation International". The Society for Modeling & Simulation International.
  24. ↑ Curriculum vitae (PDF)
  25. ↑ https://journals.sagepub.com/home/sim
  26. ↑ Discrete-Event Modeling and Simulation: a Practitioner's approach”. G. Wainer. CRC Press. Taylor and Francis. 2009
  27. ↑ Discrete-Event Modeling and Simulation: Theory and Applications. G. Wainer, P. Mosterman Eds. Taylor and Francis. 2011
  28. ↑ "Awards".
  29. ↑ "Gabriel Wainer to receive Canada 150 Medal: join us on Jan 18". carleton.ca. 16 January 2018.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.