5 papers
Constraint-Driven Modeling Enabling Dual Model Checking and Simulation for Discrete Event Systems
Soroosh Gholami, Hessam S. Sarjoughian
Verification and validation (V&V) are crucial methods for evaluating the requirements and specifications of dynamical models that fulfill their intended purposes. Parallel Discrete…
LLM-based Framework for Generating and Verifying Parallel DEVS Statecharts
Vamsi Krishna Vasa, Hessam S. Sarjoughian, Edward J. Yellig
The development of models demands sound modeling and simulation knowledge as well as domain knowledge. Every model should accurately represent a system's dynamics and be verifiable…
A Benchmark Time Series Dataset for Semiconductor Fabrication Manufacturing Constructed using Component-based Discrete-Event Simulation Models
Vamsi Krishna Pendyala, Hessam S. Sarjoughian, Bala Potineni +1
Advancements in high-computing devices increase the necessity for improved and new understanding and development of smart manufacturing factories. Discrete-event models with simula…
Simulation, Model Checking, and Execution of Activity Models
Abdurrahman Alshareef, Hessam S. Sarjoughian
This paper presents our findings for using activity modeling for simulation (validation), model checking (verification), and execution purposes. Each is needed to tackle system com…
Challenges of Achieving Efficient Simulations Through Model Abstraction
Hessam S. Sarjoughian, William A. Boyd, Miguel F. Acevedo
Coupled natural systems are generally modeled at multiple abstraction levels. Both structural scale and behavioral complexity of these models are determinants in the kinds of quest…