A unified formalism for complex systems architecture

Complex industrial systems are typically artificial objects designed by men, involving a huge number of heterogeneous components (e.g. hardware, software, or human organizations) working together to perform a mission. In this thesis, we are interested in modeling the functional behavior of such systems, and their integration. We will model real systems as functional black boxes (with an internal state), whose structure and behaviors can be described by the recursive integration of heterogeneous smaller subsystems. Our purpose is to give a unified and minimalist semantics for heterogeneous integrated systems and their integration.

[1]  Wlodzimierz Ogryczak,et al.  On solving linear programs with the ordered weighted averaging objective , 2003, Eur. J. Oper. Res..

[2]  Jack B. Dennis,et al.  First version of a data flow procedure language , 1974, Symposium on Programming.

[3]  Marc Aiguier,et al.  A formal abstract framework for modelling and testing complex software systems , 2012, Theor. Comput. Sci..

[4]  Nikhil Bansal,et al.  The Santa Claus problem , 2006, STOC '06.

[5]  Marc Pouzet,et al.  Synchronous Kahn networks , 1996, ICFP '96.

[6]  Jamal Daafouz,et al.  Systèmes dynamiques hybrides , 2007 .

[7]  Manfred Broy.  Refinement of time , 2001, Theor. Comput. Sci..

[8]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[9]  Manfred Broy,et al.  Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .

[10]  C. Simkin..  About Economic Inequality , 1998 .

[11]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[12]  George H. Mealy,et al.  A method for synthesizing sequential circuits , 1955 .

[13]  Jan J. M. M. Rutten,et al.  Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[14]  Marc Aiguier,et al.  Modeling of complex systems II: A minimalist and unified semantics for heterogeneous integrated systems , 2012, Appl. Math. Comput..

[15]  Bolyai János Matematikai Társulat,et al.  Algebraic theory of semigroups , 1979 .

[16]  Jérôme Lang,et al.  Efficiency and envy-freeness in fair division of indivisible goods: logical representation and complexity , 2005, IJCAI.

[17]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[18]  Alexander Moshe Rabinovich,et al.  Automata over continuous time , 2003, Theor. Comput. Sci..

[19]  I. Olkin,et al.  Inequalities: Theory of Majorization and Its Applications , 1980 .

[20]  Yann Chevaleyre,et al.  Negotiating over small bundles of resources , 2005, AAMAS '05.

[21]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[22]  Vincent Conitzer,et al.  Undominated VCG redistribution mechanisms , 2008, AAMAS.

[23]  Alain Robert.  Analyse non standard , 1985 .

[24]  H. Moulin.  Axioms of Cooperative Decision Making , 1988 .

[25]  Thibault Gajdos,et al.  Single crossing Lorenz curves and inequality comparisons , 2004, Math. Soc. Sci..

[26]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[27]  Joe H. Mize,et al.  Introduction to industrial and systems engineering , 1987 .

[28]  E. Rowland.  Theory of Games and Economic Behavior , 1946, Nature.

[29]  Jan J. M. M. Rutten,et al.  Algebraic Specification and Coalgebraic Synthesis of Mealy Automata , 2006, FACS.

[30]  Wlodzimierz Ogryczak,et al.  Inequality measures and equitable approaches to location problems , 2000, Eur. J. Oper. Res..

[31]  Benedikt Löwe,et al.  New Computational Paradigms , 2005 .

[32]  H. Levy.  Stochastic dominance and expected utility: survey and analysis , 1992 .

[33]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[34]  Manfred Broy,et al.  The algebra of stream processing functions , 2001, Theor. Comput. Sci..

[35]  W. Luxemburg.  Non-Standard Analysis , 1977 .

[36]  Martin Wirsing,et al.  Timed Rewriting Logic with an Application to Object-Based Specification , 1997, Sci. Comput. Program..

[37]  David Manlove,et al.  A Constraint Programming Approach to the Stable Marriage Problem , 2001, CP.

[38]  Clive L. Dym,et al.  Fundamentals of Modeling and Analyzing Engineering Systems , 2000 .

[39]  François Robert.  Les systèmes dynamiques discrets , 1995 .

[40]  Colin Stirling,et al.  Modal Mu-Calculi , 2001 .

[41]  Patrice Perny,et al.  An Axiomatic Approach to Robustness in Search Problems with Multiple Scenarios , 2002, UAI.

[42]  Edward Nelson.  Internal set theory: A new approach to nonstandard analysis , 1977 .

[43]  A. Shorrocks.  Ranking Income Distributions , 1983 .

[44]  Marc Aiguier,et al.  An Adequate Logic for Heterogeneous Systems , 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.

[45]  M. Yaari.  The Dual Theory of Choice under Risk , 1987 .

[46]  Antoine Rauzy,et al.  The AltaRica Formalism for Describing Concurrent Systems , 1999, Fundam. Informaticae.

[47]  Gérard Berry,et al.  The foundations of Esterel , 2000, Proof, Language, and Interaction.

[48]  Ronald R. Yager,et al.  On ordered weighted averaging aggregation operators in multicriteria decision-making , 1988 .

[49]  Ratnesh Kumar,et al.  Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata , 2012, Discret. Event Dyn. Syst..

[50]  R. Jewett,et al.  Systems Engineering , 1959, IRE Transactions on Military Electronics.

[51]  K. Chong.  An Induction Theorem for Rearrangements , 1976, Canadian Journal of Mathematics.

[52]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[53]  Daniel Krob,et al.  Modelling of Complex Software Systems: A Reasoned Overview , 2006, FORTE.

[54]  Wolter J. Fabrycky,et al.  Systems engineering and analysis , 1981 .

[55]  Eduardo D. Sontag,et al.  Mathematical Control Theory: Deterministic Finite Dimensional Systems , 1990 .

[56]  Patrice Perny,et al.  Infinite order Lorenz dominance for fair multiagent optimization , 2010, AAMAS.

[57]  Judy Goldsmith,et al.  The AI conference paper assignment problem , 2007, AAAI 2007.

[58]  Jean Bacon,et al.  Concurrent Systems: An Integrated Approach to Operating Systems, Distributed Systems and Database , 2002 .

[59]  Ronald R. Yager,et al.  On ordered weighted averaging aggregation operators in multicriteria decisionmaking , 1988, IEEE Trans. Syst. Man Cybern..

[60]  Peter Aczel,et al.  A Final Coalgebra Theorem , 1989, Category Theory and Computer Science.

[61]  John Lygeros,et al.  Lecture Notes on Hybrid Systems , 2004 .

[62]  Andrea Sorbi,et al.  New Computational Paradigms: Changing Conceptions of What is Computable , 2007 .

[63]  Henk Corporaal,et al.  Embedded System Design , 2006 .

[64]  Boris A. Trakhtenbrot.  Understanding Basic Automata Theory in the Continuous Time Setting , 2004, Fundam. Informaticae.

[65]  Simon Bliudze,et al.  Modelling of Complex Systems: Systems as Dataflow Machines , 2009, Fundam. Informaticae.

[66]  Marc Pouzet,et al.  ReactiveML: a reactive extension to ML , 2005, PPDP.