The phrase "abstract system" is correct and usable in written English.
It can be used in contexts discussing theoretical frameworks, models, or concepts that are not tied to physical or concrete examples.
Example: "In our research, we developed an abstract system to analyze the relationships between various variables without relying on specific data sets."
Alternatives: "theoretical framework" or "conceptual model".
To reduce complexity, we first construct a simple abstract system to guide the agents, then we discuss the simulation relations between the abstract system and multiple agents.
To address the problem of complexity explosion, simulation relations can be employed to abstract system behaviors by lower order models.
With the help of this abstract system, distributed hierarchical control is proposed to complete a coordination task.
Geometry can be either an empirical science of natural space or an abstract system with uninterpreted basic concepts and uninterpreted postulates.
A mathematician produced abstract systems unconstrained by the needs of science, and if scientists found an abstract system that fit one of their concerns, they could apply the system secure in the knowledge that it was logically consistent.
ForSyDe is a transformational system design methodology, where an initial abstract system model is refined by the application of semantic-preserving and non-semantic preserving design transformations into a detailed model that can be mapped to an implementation.
It provides a logic that bridges the gap between abstract system quality attributes and the tangible quality carrying properties of components and connectors, and the observable behavior of the systems and their components.
This has boosted the development of potentially more efficient testing techniques, like model-based testing, where test creation and execution can be automated, using an abstract system model as input.
In this paper we present an automatic combination of abstraction-refinement by which we translate a VHDL model describing a state system to an initial equivalent abstract system described by SMV to explore its state space to verify CTL properties.
Constraints in terms of quantities are expressed formally in the Logic Of Constraints, a logic particularly suitable for specifying constraints at the abstract system level, where coordination of executions, not the low level interaction, is of concern.
