Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-10

DES abstractions for the supervisory control of hybrid systems

Marian V. Iordache, Panos J. Antsaklis

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2016-8

System entity structure extension to integrate abstraction hierarchies and time granularity into DEVS modeling and simulation

Jean-François Santucci, Laurent Capocchi, Bernard P Zeigler

SIMULATION

Open access

Research article

First published 2021-7

Model abstraction for discrete-event systems by binary linear programming with applications to manufacturing systems

Lihong Cheng, Lei Feng, Zhiwu Li

Science Progress

Free access

Research article

First published 2014-8

Learning Inductive Riemannian Manifold in Abstract Form by Modeling Embedded Dynamical System

Elham Bavafaye Haghighi, Mohamad Rahmati, Guenther Palm [...]

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 1999-10

Paradigms for abstracting systems

María Pinto, Carmen Gálvez

Journal of Information Science

Retricted access

Research article

First published 1979-9

Indexing and Abstracting Systems

Fred Schneiweiss

Annals of Pharmacotherapy

Retricted access

Research article

First published 1996-7

ABSTRACT SEMANTICS FOR ESM SYSTEMS

D. Janssens, T. Mens

Fundamenta Informaticae

Open access

Research article

First published 2009-2

Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems 1

Javier Esparza, Stefan Kiefer, Stefan Schwoon

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2014-10

An Abstract Interpretation Framework for Type and Effect Systems

Letterio Galletta

Fundamenta Informaticae

Retricted access

Research article

First published 2023-3

Abstraction networks: adapting abstraction hierarchies to map important relationships for system design

Priyanka Tewani, Christine M. Jefferies, Morgan Reynolds [...]

Proceedings of the International Symposium on Human Factors and Ergonomics in Health Care

Search results