His main scientific interest is algorithmic intelligence, which encompasses areas such as heuristic search, action planning, game playing, machine learning, motion planning, multi-agent simulation, model checking, distributed computing, algorithm engineering, and computational biology.
Infobiotics Workbench provides an assistive graphical interface to guide users in their parameter choices when performing simulation, model checking and parameter optimization experiments, and in analysing the results of these experiments.
A discrete event simulation checks the feasibility of the design that results from the MILP assuming uncertainties in supply, processing and transport.
As the Concurrency Workbench of the New Century (CWB-NC) verification tool includes a front-end for VPL, designers may use the full range of automatic verification and simulation checks provided by this tool on their VPL system designs before invoking the translator, thereby generating distributed prototypes from validated specifications.
The simulation checks CPU data every 5 min interval and those trace data is plugged into dynamic VM consolidation.
The tools most commonly used for simulation checks are COmplex PAthway SImulator, 15 the SBMLodeSolver, 16 SBMLSimulator, 17 or the facilities provided by the Systems Biology Workbench.
Instead of numerical simulations model checking techniques (see, e.g., [ 24]) can be used to answer such queries.
Fig. 1 Model check and simulation based on random slope model.
This verification is possible namely by using logic programming tools for the simulation and model checking.
