On-line coupling of automated solid-phase extraction with high-performance liquid chromatography and electrochemical detection. Quantitation of oxidizable drugs of abuse and their metabolites in plasma and urine.

E. Krämer,K. Kovar

DOI: https://doi.org/10.1016/S0378-4347(99)00212-1

1999-08-01

Abstract:

What problem does this paper attempt to address?

Constraint Function Based Hierarchical Control of Discrete Event Systems

Yu Ru,Weimin Wu,Hongye Su,Jian Chu

DOI: https://doi.org/10.1109/wcica.2004.1340774

2004-01-01

Abstract:Due to the introduction of uncontrollable transitions in the supervisory control of discrete event systems modeled by controlled Petri nets, a disjunction of several linear inequalities is needed to express the admissible markings. In this paper, we propose a two level hierarchical control synthesis method to deal with this kind of OR logic constraints. In the method, the constraint function plays an important role not only in the construction of the low level monitor but also in the determination of the control policy. The obtained supervisor is maximally permissive and the online computation has the complexity of polynomial times. An example is used to illustrate the proposed synthesis algorithm.
A non-queue-based paradigm in Discrete-Event-Simulation modelling for construction operations

Hamed Golzarpoor,Vicente A. González,Michael O'Sullivan,Mehdi Shahbazpour,Cameron G. Walker,Mani Poshdar

DOI: https://doi.org/10.1016/j.simpat.2017.05.004

IF: 4.199

2017-09-01

Simulation Modelling Practice and Theory

Abstract:Discrete-Event Simulation (DES) is an event-driven simulation approach in which a real dynamic process is imitated as it progresses over time. It has been recognized as a powerful technique for the quantitative analysis of complex construction operations. However, current DES modelling strategies/frameworks implicitly rely on queuing structures which are too rigid to easily describe systems with complex behaviour common in construction, e.g., multi-tasking resources and/or role changes of entities. Queuing networks are one of the most common elements of DES systems and have been used to model a wide range of problems, but they lack the generality to easily model the complex decision mechanisms required to, e.g., efficiently multi-task or dynamically determine the best role for an entity. This research proposes a new modelling approach for construction that replaces Queue-Based (QB) DES, with its implicit queuing network control, with Non-Queue-Based (NQB) DES that explicitly defines the decision mechanisms of a model. It utilises a new conceptual modelling paradigm for simulation, Hierarchical Control Conceptual Modelling, which was developed to address similar issues with control mechanisms in health care simulation. This new approach is especially beneficial for the construction industry where determining effective decision making mechanisms is of significant importance for optimising, e.g., logistics and resource utilisation. This research investigates the benefits of the proposed approach for DES models in construction by investigating three earthmoving case studies. Although the scope of this research is limited to DES modelling in construction, the outcomes of the proposed NQB paradigm in construction translate to other domains that utilise DES for solving complex problems.

computer science, interdisciplinary applications, software engineering
Configurable hierarchical modeling method for intelligent plant

Ruichao QI,Gang RONG,Yiping FENG,Yunping HU

DOI: https://doi.org/10.3969/j.issn.0438-1157.2013.12.013

2013-01-01

Abstract:Traditionally, plant simulation model is classified as macroscopic or microscopic. An ERP-level model and a PCS-level model belong to macro and micro simulation model respectively while an MES-level model lies in-between. Simulation models of certain level established by former researchers usually have low reusability and poor scalability. To this end, a novel four-layered approach, which is composed of model entity structure/model base, model abstraction, plant modeling and IPS simulation systems layer, has been proposed for plant modeling and simulation. Configurable and reusable simulation model can be easily obtained by adopting the abstraction modeling and simulation method with respect to plant network. In this article, a multi-level intelligent plant simulation system is constructed with the aforementioned method and the effectiveness and reliability are verified through case studies. Therefore, it is expected to be widely used in plant modeling and simulation in practice. © All Rights Reserved.
Pcanel: a model driven component framework

Cheng Xie,Wenzhi Chen,Jiaoying Shi

DOI: https://doi.org/10.1109/ICSMC.2004.1401015

2004-01-01

Abstract:Modern embedded systems tend to be heterogeneous in the sense that components in a system have diverse interaction styles. Composition of subsystems with very different characteristic complicates embedded software development and challenges understandability, composability, and scalability of models. The paper describes a model driven component framework, Pcanel, to solve this problem. It proposes a hierarchical model structure and semantic framework that supports heterogeneous components. Pcanel drives component execution by models of computation, allowing the formal analysis, verification and validation of the embedded software. Models explicitly represent the designer's understanding of the system, and capture the requirements and the design of the application. The paper presents the principles and techniques of Pcanel in details. Examples in terms of real systems are given that illustrate how Pcanel addresses the heterogeneity nature and the assurance issues of embedded software composition.
Hierarchical Control Models for Multimodal Process Modeling

Weidong Zhang,Feng Chen,Wenli Xu

DOI: https://doi.org/10.1109/tsmcb.2009.2017202

2009-01-01

Abstract:The multimodal and hierarchical structure characteristics of a system make process modeling quite difficult. In this paper, we present a hierarchical control model (HCM) for hierarchically multimodal processing. From multiple streams, a control layer extracts the inherent group process that denotes the evolution of the system and controls the evolution of every modality. HCMs model the influences of the group on modalities and represent the hierarchical structure of the system by a multilayer network. To estimate the state order of the model, we also present a new information criterion that corrects the preference of traditional criteria for more complex models and proves the rationality of HCMs. Comparisons with other models on multiagent activity recognition show that HCMs are reliable and efficient.
A material handling system modeling framework: a data-driven approach for the generation of discrete-event simulation models

Zakarya Soufi,Slaheddine Mestiri,Pierre David,Zakaria Yahouni,Johannes Fottner

DOI: https://doi.org/10.1007/s10696-024-09535-z

IF: 2.2092

2024-03-21

Flexible Services and Manufacturing Journal

Abstract:The design and reconfiguration of Material Handling Systems (MHSs) at the factory scale are known to be complex. Various design and reconfiguration alternatives have to be considered and evaluated through indicators such as: On Time Delivery (OTD) within the plant, number of material shortages or product waiting time, etc. Due to the dynamic behavior of MHS, simulation-based approaches play an essential role in such analysis. However, developing simulation models for MHS can be time-consuming (especially for modeling Large Scale Systems) and difficult to build (some skills and knowledge are required to use simulation software). To overcome these challenges, data-driven approaches have been proposed in the literature for the generation of MHS simulation models. Nevertheless, the available approaches focus on specific domains and may not always account for all the necessary data, including MHS control policies. Therefore, this paper aims to propose a framework that employs a data catalog regrouping five data categories (layout, product features, production process, material handling process, and MHS control methods) to support the generation of MHS simulation models using SIMIO. The article details the data structure used to gather MHS simulation data, the selection of a simulation tool, the modeling patterns integrated into the simulations, and the application of the transformation rules. The whole approach is implemented to form the generation framework. The framework is designed to assist decision-makers (who have basic simulation knowledge) in the evaluation of MHS design/reconfiguration alternatives. The paper finally presents a validation of the framework on two case studies.

engineering, manufacturing, industrial,operations research & management science
Three-dimensional conceptual model for service-oriented simulation

Wenguang Wang,Weiping Wang,Justyna Zander,Yifan Zhu

DOI: https://doi.org/10.1631/jzus.A0920258

2009-09-18

Abstract:In this letter, we propose a novel three-dimensional conceptual model for an emerging service-oriented simulation paradigm. The model can be used as a guideline or an analytic means to find the potential and possible future directions of the current simulation frameworks. In particular, the model inspects the crossover between the disciplines of modeling and simulation, service-orientation, and software/systems engineering. Finally, two specific simulation frameworks are studied as examples.

Software Engineering
Integrating IDEF3 and discrete event approach for business process modeling and simulation

Yi Xie -,Renzhong Tang,Xun Wang

2005-01-01

Abstract:Simulation is a dynamic modeling technology. However there is little integration of business process static modeling and simulation, which prevented simulation from becoming a mainstream modeling tool. The static IDEF3 modeling method and discrete event simulation are firstly introduced. Then, the principles and methods of integrating IDEF3 and discrete event approach for business process modeling and simulation are proposed and a supporting software tool of integrating business process mapping and simulation based on IDEF3 is developed which facilitates simulation modeling. Finally, a case study of an actual business process is conducted by using the developed supporting software tool to illustrate the feasibility and efficacy of the approaches proposed.
Modeling Framework for a Consistent Integration of Geometry Knowledge During Conceptual Design

Romain Barbedienne,Olivia PENAS,Jean-Yves Choley,Peter Hehenberger,Olivia Penas

DOI: https://doi.org/10.1115/1.4042551

IF: 2.3

2019-03-06

Journal of Computing and Information Science in Engineering

Abstract:This paper proposes a modeling framework for a consistent geometrical data link between a system model and a spatial architecture modeling in a 3D computer-aided design (CAD) environment, with a model-based system engineering (MBSE) approach. Our approach, focused on the conceptual design stage, for the evaluation of 3D architecture under physical constraints, aims at improving the system design by ensuring data consistency during collaborative design. This model transformation platform will ensure a seamless geometrical consistency and traceability from the requirements to the further design stages. The theoretical formalization of our approach presents a consistent integration of geometry knowledge all along the conceptual design. Then, the corresponding modeling platform implementation between the developed system modeling language (SysML) geometrical extension and a 3D CAD tool is described before detailing an application on a conveyor case study.

engineering, manufacturing,computer science, interdisciplinary applications
CSM-H-R: A Context Modeling Framework in Supporting Reasoning Automation for Interoperable Intelligent Systems and Privacy Protection

Songhui Yue,Xiaoyan Hong,Randy K. Smith

2024-04-05

Abstract:The automation of High-Level Context (HLC) reasoning across intelligent systems at scale is imperative because of the unceasing accumulation of contextual data, the trend of the fusion of data from multiple sources (e.g., sensors, intelligent systems), and the intrinsic complexity and dynamism of context-based decision-making processes. To mitigate the challenges posed by these issues, we propose a novel Hierarchical Ontology-State Modeling (HOSM) framework CSM-H-R, which programmatically combines ontologies and states at the modeling phase and runtime phase for attaining the ability to recognize meaningful HLC. It builds on the model of our prior work on the Context State Machine (CSM) engine by incorporating the H (Hierarchy) and R (Relationship and tRansition) dimensions to take care of the dynamic aspects of context. The design of the framework supports the sharing and interoperation of context among intelligent systems and the components for handling CSMs and the management of hierarchy, relationship, and transition. Case studies are developed for IntellElevator and IntellRestaurant, two intelligent applications in a smart campus setting. The prototype implementation of the framework experiments on translating the HLC reasoning into vector and matrix computing and presents the potential of using advanced probabilistic models to reach the next level of automation in integrating intelligent systems; meanwhile, privacy protection support is achieved in the application domain by anonymization through indexing and reducing information correlation. An implementation of the framework is available at <a class="link-external link-https" href="https://github.com/songhui01/CSM-H-R" rel="external noopener nofollow">this https URL</a>.

Artificial Intelligence,Systems and Control
Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence

Yajuan Sun,Hai Lin,Ben. M. Chen

DOI: https://doi.org/10.48550/arXiv.1112.3555

2011-12-16

Abstract:In decentralized systems, branching behaviors naturally arise due to communication, unmodeled dynamics and system abstraction, which can not be adequately captured by the traditional sequencing-based language equivalence. As a finer behavior equivalence than language equivalence, bisimulation not only allows the full set of branching behaviors but also explicitly specifies the properties in terms of temporal logic such as CTL* and mu-calculus. This observation motivates us to consider the decentralized control of discrete event systems (DESs) for bisimulation equivalence in this paper, where the plant and the specification are taken to be nondeterministic and the supervisor is taken to be deterministic. An automata-based control framework is formalized, upon which we develop three architectures with respect to different decision fusion rules for the decentralized bisimilarity control, named a conjunctive architecture, a disjunctive architecture and a general architecture. Under theses three architectures, necessary and sufficient conditions for the existence of decentralized bisimilarity supervisors are derived respectively, which extend the traditional results of supervisory control from language equivalence to bisimulation equivalence. It is shown that these conditions can be verified with exponential complexity. Furthermore, the synthesis of bisimilarity supervisors is presented when the existence condition holds.

Systems and Control
Enhancing conceptual models with computational capabilities: A methodical approach to executable integrative modeling

Natali Levi‐Soskin,Stephan Marwedel,Ahmad Jbara,Dov Dori

DOI: https://doi.org/10.1002/sys.21750

IF: 2.034

2024-02-22

Systems Engineering

Abstract:The lack of a common executable modeling framework that integrates systems engineering, software design, and other engineering domains is a major impediment to seamless product development processes. Our research aims to overcome this system‐software modeling gap by integrating computational, software‐related, and model execution capabilities into OPM‐based conceptual modeling, resulting in a holistic unified executable quantitative‐qualitative modeling framework. The gap is overcome via a Methodical Approach to Executable Integrative Modeling—MAXIM, an extension of OPM ISO 19450:2015, a standardization approvement given on 2015. We present the principles of MAXIM and demonstrate its operation within OPCloud—a web‐based collaborative conceptual OPM modeling framework. As a proof‐of‐concept, a model of an Airbus civil aircraft landing gear braking system is constructed and executed. Using MAXIM, engineers from five domains can collaborate at the very early phase of the system development and jointly construct a unified model that fuses qualitative and quantitative aspects of the various disciplines. This case study illustrates an important first step towards satisfying the critical and growing need to integrate systems engineering with software computations into a unified framework that enables a smooth transition from high‐level architecting to detailed, discipline‐oriented design. Such a framework is a key to agile yet robust future development of software‐intensive systems.

engineering, industrial,operations research & management science
Conceptual Modeling for Control of a Physical Engineering Plant: A Case Study

Sabah Al-Fedaghi,Abdulaziz AlQallaf

DOI: https://doi.org/10.48550/arXiv.1709.03575

2017-08-22

Abstract:We examine the problem of weaknesses in frameworks of conceptual modeling for handling certain aspects of the system being modeled. We propose the use of a flow-based modeling methodology at the conceptual level. Specifically, and without loss of generality, we develop a conceptual description that can be used for controlling the maintenance of a physical system, and demonstrate it by applying it to an existing electrical power plant system. Recent studies reveal difficulties in finding comprehensive answers for monitoring operations and identifying risks as well as the fact that incomplete information can easily lead to incorrect maintenance. A unified framework for integrated conceptualization is therefore needed. The conceptual modeling approach integrates maintenance operations into a total system comprising humans, physical objects, and information. The proposed model is constructed of (abstract) machines of things connected by flows, forming an integrated whole. It represents a man-made, intentionally constructed system and includes technical and human things observable in the real world, exemplified by the study case described in this paper. A specification is constructed from a maximum of five basic operations: creation, processing, releasing, transferring, and receiving.

Computers and Society
Applications of A Categorical Framework for Conceptual Data Modeling

A.H.M. ter Hofstede,E. Lippe,T.P. van der Weide

DOI: https://doi.org/10.1007/s002360050112

1997-01-01

Acta Informatica

Abstract:For successful information systems development, conceptual data modeling is essential. Nowadays a plethora of techniques for conceptual data modeling exist. Many of these techniques lack a formal foundation and a lot of theory, e.g. concerning updates or schema transformations, is highly data model specific. As such there is a need for a unifying formal framework providing a sufficiently high level of abstraction. In this paper, focus is on the applications of such a framework defined in category theory. Well-known conceptual data modeling concepts, such as relationship types, generalization, specialization, and collection types are defined from a categorical point of view in this framework and an essential advantage is its "configurable semantics". Features such as null values, uncertainty, and temporal behavior can be added by selecting appropriate instance categories. The addition of these features usually requires a complete redesign of the formalization in traditional set-based approaches to semantics. Applications of the framework in the context of schema transformations and improved automated modeling support are discussed.
Complex System Simulation: Proposition of a MBSE Framework for Design-Analysis Integration

Pascal Graignic,Thomas Vosgien,Marija Jankovic,Vincent Tuloup,Jennifer Berquet,Nadège Troussier

DOI: https://doi.org/10.1016/j.procs.2013.01.007

2013-01-01

Procedia Computer Science

Abstract:The multi-disciplinary nature of complex system, such as aero engines, requires a data structure that considers the behavioural interactions within the system. This paper focuses on the management of simulations models and data, with respect to complex system structure. It is proposed to use model based system engineering (MBSE) methodology to support modelling activities and improve the integration of simulation activities in the design process. Current studies on MBSE address the issue of representing and integrating design models with diverse analysis/simulation/behavioural models. However, some limitations can be identified, especially regarding the federation of system presentation for addressing the overall behavioural aspects of the product (multi-physic, local and global behaviours) and thus considering the several system levels. Our proposal is to provide a software framework based on a data model that manages complex system structure. This data model structures behavioural information considering three major interactions:•Interactions between components simulation models,•Interactions considering multi-level behaviours (e.g. use of components simulation for a module simulation) and•Interactions between domain behaviours (e.g. Thermal impact on mechanical).A demonstration of this software framework is proposed, based on the set-up of a mechanical simulation of an aero engine using CATIA/SIMULIA V6.
A DSM-based framework for integrated function modelling: concept, application and evaluation

Boris Eisenbart,Kilian Gericke,Lucienne T. M. Blessing,Timothy C. McAloone

DOI: https://doi.org/10.1007/s00163-016-0228-1

IF: 2.9643

2016-04-19

Research in Engineering Design

Abstract:Abstract Function modelling is proposed in the literature from different disciplines, in interdisciplinary approaches, and used in practice with the intention of facilitating system conceptualisation. However, function models across disciplines are largely diverse addressing different function modelling perspectives and using different structures and forms for representing the contained information. This hampers the exchange of information between the models and poses particular challenges to joint modelling and shared comprehension between designers from different disciplines. This article proposes an integrated function modelling framework, which specifically aims at relating between the different function modelling perspectives prominently addressed in different disciplines. It uses interlinked matrices based on the concept of DSM and MDM in order to facilitate cross-disciplinary modelling and analysis of the functionality of a system. The article further presents the application of the framework based on a product example. Finally, an empirical study in industry is presented. Therein, feedback on the potential of the proposed framework to support interdisciplinary design practice as well as on areas of further improvement has been obtained from participants working in industry.

multidisciplinary sciences
Model‐based‐systems‐engineering for conceptual design: An integrative approach

Sharon Shoshany‐Tavory,Eran Peleg,Avigdor Zonnenshain,Gil Yudilevitch

DOI: https://doi.org/10.1002/sys.21688

IF: 2.034

2023-04-24

Systems Engineering

Abstract:Conceptual‐Design is an early development phase, where innovation and creativeness shape the future system/product. Model‐Based‐Conceptual‐Design (MBCD) attempts to use best‐practices of Model‐Based‐Systems‐Engineering (MBSE) to gain the envisioned benefits of model connectivity. Using MBSE supporting tools can transform Conceptual‐Design into a digital‐engineered process but may impede creativity and innovation. Concurrently, the design domain offers specific methods and tools for innovative Conceptual‐Design. In the current study, we explore an existing Conceptual‐Design framework and offer MBSE interpretation and tools extensions needed for its digital implementation. Through such exploration we highlight MBCD specific insights and discuss modeling‐innovation interrelations. The implementation was accomplished using a domain‐specific enabling software package on top of a market‐accepted UML/SysML platform, extending the language definitions, where appropriate. The framework guided extensions allow generation of innovative bottom‐up alternatives, solution integration, and solutions' comparison. The use of modeling is shown to offer clearer process definition, specific methods assistance, and alternative ranking—both manually and automatically. Consequently, MBCD is accomplished, which supports innovation, while being digitally connected to full‐scale‐development models and the organizational assets at large. Through integration into the orderly Systems‐Engineering process, traceability is maintained, and repeated iterations are supported, where conceptual decisions may be revisited. Additionally, through the introduction of an assets' catalog, cross‐organizational knowledge sharing is accomplished. The paper presents samples of the extensions, using a simplified example of technology design for Future Firefighting. The value of incorporating Conceptual‐Design specific methodology and tools is evaluated through feedback from multiple domain experts. Discussion and future research directions are offered.

engineering, industrial,operations research & management science
A Unified Model for State Feedback of Discrete Event Systems I: Framework and Maximal Permissive State Feedback

Qiying Hu,Chen Xu,Wuyi Yue

DOI: https://doi.org/10.3934/jimo.2008.4.107

2008-01-01

Journal of Industrial and Management Optimization

Abstract:This paper presents a new basic model based on automatons for the state feedback control of discrete event systems (DES), including (repeated) concurrent DES. So, this new model unifies the Ramadge-Wonham framework and the controlled Petri nets, with or without concurrency or repeated concurrency. The repeated concurrent model under Ramadge-Wonham framework is first presented here. We study relationships between the concurrent models and the basic model. Based on this, we show that the uniqueness of the maximal permissive state feedback (PSF) of a predicate $P$ is equivalent to the weak interaction of $P$, which is also equivalent to that the set of PSF is closed under a disjunction. These results are also true for the concurrent systems, but the weak interaction may be difficult to be verified. Hence, we try to simplify the weak interaction by introducing concepts of cover, transitivity and local concurrently well-posedness (CWP). We show that the local CWP can ensure that the set of PSF for the concurrent systems equals that for the basic system.
A hierarchical control framework for autonomous decision-making systems: Integrating HMDP and MPC

Xue-Fang Wang,Jingjing Jiang,Wen-Hua Chen

2024-01-12

Abstract:This paper proposes a comprehensive hierarchical control framework for autonomous decision-making arising in robotics and autonomous systems. In a typical hierarchical control architecture, high-level decision making is often characterised by discrete state and decision/control sets. However, a rational decision is usually affected by not only the discrete states of the autonomous system, but also the underlying continuous dynamics even the evolution of its operational environment. This paper proposes a holistic and comprehensive design process and framework for this type of challenging problems, from new modelling and design problem formulation to control design and stability analysis. It addresses the intricate interplay between traditional continuous systems dynamics utilized at the low levels for control design and discrete Markov decision processes (MDP) for facilitating high-level decision making. We model the decision making system in complex environments as a hybrid system consisting of a controlled MDP and autonomous (i.e. uncontrolled) continuous dynamics. Consequently, the new formulation is called as hybrid Markov decision process (HMDP). The design problem is formulated with a focus on ensuring both safety and optimality while taking into account the influence of both the discrete and continuous state variables of different levels. With the help of the model predictive control (MPC) concept, a decision maker design scheme is proposed for the proposed hybrid decision making model. By carefully designing key ingredients involved in this scheme, it is shown that the recursive feasibility and stability of the proposed autonomous decision making scheme are guaranteed. The proposed framework is applied to develop an autonomous lane changing system for intelligent vehicles.

Systems and Control,Artificial Intelligence,Robotics
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems

Silvia Bonfanti,Angelo Gargantini,Elvinia Riccobene,Patrizia Scandurra

DOI: https://doi.org/10.1145/3652862

2024-03-16

Formal Aspects of Computing

Abstract:Modeling complex system requirements often requires specifying system components in separate models, which can be validated and verified in isolation from each other, and then integrating all components’ behavior in order to validate the operation of the whole system. If models are executable, as for state-based formal specifications, engines to orchestrate the simulation of separate component operational models are extremely useful. This paper presents an approach for the co-simulation, according to predefined orchestration schemas, of state-based models of separate components of a Discrete Event System. More precisely, we exploit the Abstract State Machine (ASM) formal method as state-based formalism, and we ( i ) define a set of operators to compose ASMs that communicate with each other through I/O events, and ( ii ) present an engine to execute the compositional simulation of the ASMs as a whole assembly. As proof of concepts, we use a set of model examples of Discrete Event Systems of increasing complexity to show the application of our approach and to evaluate its effectiveness in co-simulating models of real systems.

computer science, software engineering

On-line coupling of automated solid-phase extraction with high-performance liquid chromatography and electrochemical detection. Quantitation of oxidizable drugs of abuse and their metabolites in plasma and urine.

Constraint Function Based Hierarchical Control of Discrete Event Systems

A non-queue-based paradigm in Discrete-Event-Simulation modelling for construction operations

Configurable hierarchical modeling method for intelligent plant

Pcanel: a model driven component framework

Hierarchical Control Models for Multimodal Process Modeling

A material handling system modeling framework: a data-driven approach for the generation of discrete-event simulation models

Three-dimensional conceptual model for service-oriented simulation

Integrating IDEF3 and discrete event approach for business process modeling and simulation

Modeling Framework for a Consistent Integration of Geometry Knowledge During Conceptual Design

CSM-H-R: A Context Modeling Framework in Supporting Reasoning Automation for Interoperable Intelligent Systems and Privacy Protection

Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence

Enhancing conceptual models with computational capabilities: A methodical approach to executable integrative modeling

Conceptual Modeling for Control of a Physical Engineering Plant: A Case Study

Applications of A Categorical Framework for Conceptual Data Modeling

Complex System Simulation: Proposition of a MBSE Framework for Design-Analysis Integration

A DSM-based framework for integrated function modelling: concept, application and evaluation

Model‐based‐systems‐engineering for conceptual design: An integrative approach

A Unified Model for State Feedback of Discrete Event Systems I: Framework and Maximal Permissive State Feedback

A hierarchical control framework for autonomous decision-making systems: Integrating HMDP and MPC

A compositional simulation framework for Abstract State Machine models of Discrete Event Systems