Integrated and Reactive Part Routing Policies for Manufacturing Systems

Autor: Janine Magnier, Vincent Chapurlat, Mireille Larnac

Publikováno v: IFAC Proceedings Volumes. 30:417-422

This paper presents a new approach for modelling and formal analysis of discrete complex systems. The problematics addressed by this methodology concerns the analysis of complex systems, such as industrial production cells, or the organisation of pro

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2beb11f3ecaddf8bd8e5bcb1e0ad905b
https://doi.org/10.1016/s1474-6670(17)44668-4

User defined multi-criteria added-value for enterprise processes analysis

Autor: M.G. Ales, D. Crestani, Janine Magnier, C. Coves, F. Prunet, V. Chapurlat, D. Chalvet, Mireille Larnac

Publikováno v: SMC

Managers need to model and analyze the enterprise processes from different points of view in order to measure their efficiency. The paper focuses on an enterprise modeling approach allowing us to describe and analyze the influence of an activity in a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f1f8d48ebe493b5dcbdc8a83ce95978d
https://doi.org/10.1109/icsmc.1998.725431

A process for improving multi-technology system high level design: Modeling, verification and validation of complex optronic systems

Autor: M. Larnal, Jean-Paul Pignon, Frederick Benaben, Janine Magnier

Publikováno v: SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5
SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, Nashville, United States. pp.1036-1040
SMC

IEEE International Conference on Systems, Man and Cybernetics, NASHVILLE, TN, OCT 08-11, 2000; International audience; In order to support the design of complex systems such as optronic ones, and especially the function-processing-oriented part of th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6486eaddc5466540027779e21c321801
https://hal.archives-ouvertes.fr/hal-01596386

Temporal logics for analyzing the behavior of systems

Autor: Janine Magnier, Vincent Chapurlat, Mireille Larnac

Publikováno v: AIP Conference Proceedings.

The task of anticipating the behavior of a system requires to have a model as a basis for reasoning. This statement raises several questions and problems, especially concerning the knowledge the user has got of the system, and his ability to describe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::df8d30592146cc669838c45137099de5
https://doi.org/10.1063/1.56320

Temporal and functional verification of a symbolic representation of complex systems

Autor: Gérard Dray, Eric Vandermeulen, Janine Magnier, Mireille Larnac, Vincent Chapurlat

Publikováno v: Computer Aided Systems Theory — EUROCAST '95 ISBN: 9783540607489
EUROCAST

The complexity of systems requires that validation methods are set in the designing phase as well as during their use or maintenance. We propose a modelling approach of the system which allows us to bring into play some methods for the validation of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1cef4677c1cb7a6fad4f40589195f4fd
https://doi.org/10.1007/bfb0034757