Abstract:IMPL is both a structure- and semantic-based machine-coded proprietary software language (closed-source) built upon the computer programming language Fortran to model and solve large-scale discrete, nonlinear and dynamic (DND) optimization and estimation problems found in the batch and continuous process industries such as oil and gas, petrochemicals, specialty and bulk chemicals, pulp and paper, energy, agro-industrial, mining and minerals, food and beverage just to name a few. The structures are based on modeling the superstructure (network, routings, flowsheet, etc.) with units, operations, ports and states (UOPSS) and the semantics (extent, magnitude, capacity, concentration, etc.) are based on quantity, logic and quality phenomenological (QLQP) variables for flows, holdups, yields, startups, setups, switchovers, shutdowns, densities, components, properties and conditions. Most community- and commercial-based MILP and NLP solvers are connected to IMPL to solve design, planning, scheduling, operations and process coordinating optimization problems as well as data reconciliation and parameter estimation problems with diagnostics of observability, redundancy and variability. Examples detailed in the chapter include industrial applications of poultry production planning with batch-lines, lubes sequence-dependent grade changeover sequencing and gasoline blend scheduling optimization with a user-directed heuristic to solve MINLP problems as MILP logistics with nominal quality cuts to approximate the nonlinearities from the blending. To summarize, IMPL may be considered as a confluence with the scientific disciplines of applied engineering, management and operations, computer science, information and communication technologies, statistics and now data science where optimization is known as decision science i.e., the science of decision-making.

pIML -- An Interrupt Program Modelling Language for Real-Time and Embedded Systems

Multi-loop Adaptive Internal Model Control Based on a Dynamic Partial Least Squares Model

Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-Driven Systems

Analysis of Interrupt Behavior Based on Probabilistic Model Checking

Industrial Modeling and Programming Language (IMPL) for Off- and On-Line Optimization and Estimation Applications

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems

Scalable control synthesis for stochastic systems via structural IMDP abstractions

Physics-Informed Machine Learning for Modeling and Control of Dynamical Systems

MNSIM 2.0: A Behavior-Level Modeling Tool for Processing-In-Memory Architectures.

Model Checking (k, D)-Markov Chain with Ipltl

V-PIM: an Analytical Overhead Model for Processing-in-Memory Architectures

iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems

A Control Flow Based Program Behavior Extended Model

CiMLoop: A Flexible, Accurate, and Fast Compute-In-Memory Modeling Tool

Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs

Modeling BPEL and BPEL4People with a Timed Interruptable Pi-Calculus.

The Implementation of IPM——a Kind of Programming Model of Context-Aware Application

Striking a new Balance in Accuracy and Simplicity with the Probabilistic Inductive Miner

THE MODEL OF INSTRUCTION-LEVEL PARALLEL PROGRAM EXECUTION

An exploratory study on just-in-time multi-programming-language bug prediction

A Program Manipulation Middleware and Its Applications on System Security.