The need for redesigning existing business processes to improve their efficiency makes it essential to adequately represent, study, and automate them. The WFMC defines "workflow" as computerized facilitation or automation of a business process in whole or part. It is actually a representation of the given process, which is made up of well-defined collection of activities called tasks. Modeling and specification of a workflow involves the following steps: 1) Provide formalism for modeling and specification of workflow 2) specify the tasks together with the associated information and 3) enter the applicable business rules in form of inter-task dependencies. Earlier attempts at modeling of workflows are based on a centralized control approach, has limited applicability for modeling and control of real life workflow due to computational complexity. In this thesis, a distributed supervisory control approach is described and shown to be computationally tractable. The application of such an approach is demonstrated with a case study.

Title from PDF of title page. / Document formatted into pages; contains 83 pages. / Thesis (M.S.I.E.)--University of South Florida, 2003. / Includes bibliographical references. / Text (Electronic thesis) in PDF format. / ABSTRACT: The need for redesigning existing business processes to improve their efficiency makes it essential to adequately represent, study, and automate them. The WFMC defines "workflow" as computerized facilitation or automation of a business process in whole or part. It is actually a representation of the given process, which is made up of well-defined collection of activities called tasks. Modeling and specification of a workflow involves the following steps: 1) Provide formalism for modeling and specification of workflow 2) specify the tasks together with the associated information and 3) enter the applicable business rules in form of inter-task dependencies. Earlier attempts at modeling of workflows are based on a centralized control approach, has limited applicability for modeling and control of real life workflow due to computational complexity. In this thesis, a distributed supervisory control approach is described and shown to be computationally tractable. / ABSTRACT: The application of such an approach is demonstrated with a case study. / System requirements: World Wide Web browser and PDF reader. / Mode of access: World Wide Web.

The subject of the thesis is the design and implementation of a modular control system environment, which could be used in robotics. Both autonomous and guided robots are supported. The higher-level software com- ponents like localization, steering, decision making, etc. are effectively sepa- rated from the underlying hardware devices and their communication protocols in the environment. Based on the layered design, hardware-independent algo- rithms can be implemented. These can run on different hardware platforms just by exchanging specific device drivers. Written in C++ using standard libraries, the final software is highly portable and extensible. Support for new platforms and hardware modules can be implemented easily. The whole sys- tem was tested on two robots and the particular instances of the systems built using this development environment are included in the solution and partially described in the thesis.

L'apparition de convertisseurs multicellulaires parallèles entrelacés et magnétiquement couplés a conduit ces dernières années à améliorer les performances des convertisseurs (en termes de densité de puissance, d'efficacité, de dynamique,...). Le pendant de ces améliorations successives résulte en une nécessité d'équilibrage précis des courants de phase, ce qui entraîne une complexification de la commande des ces convertisseurs. Une première étape de détermination de la fonction de transfert d'une boucle d'équilibrage des courants nous permet de déterminer la nature des correcteurs d'équilibrage de ces courants. Cette étude nous permet d'appréhender des systèmes plus complexes avec différentes topologies de couplage magnétique entre les bras du convertisseur parallèle. Suite à une étude bibliographique mettant en avant le manque de précision des techniques actuelles de mesure des courants de bras, nous proposons une technique d'émulation analogique précise de ces courants ne nécessitant qu'un seul capteur. Deux prototypes ont été réalisés et permettent de valider cette technique. Enfin, face à l'intérêt grandissant que portent les industriels pour des architectures modulaires, deux innovations permettant de s'affranchir d'un circuit spécifique de supervision sont proposées. Dans un premier temps, une technique modulaire d'équilibrage des courants est proposée et validée expérimentalement : elle permet, entre autres, une mesure différentielle précise des courants de bras. Ensuite, une méthode de génération modulaire de porteuses triangulaires auto-alignées est proposée et validée grâce à la réalisation d'une maquette de test. L'association de ces deux techniques nous permet de proposer une architecture entièrement modulaire ne nécessitant plus de circuit de commande superviseur. / Development of interleaved power converters with coupled inductors has enhanced converters performances (better power density, eciency, transient response. . .). Such improvements lead to the necessity of a precise current-sharing in the converter legs, and consequently to much more complex control strategy for those converters. First step is to determine current sharing loop transfer function in order to choose the kind of sharing corrector and calculate its parameters. State-space representation is used to consider any coupling topology. Because ux induced in coupled inductors must be controlled with accuracy, a bibliography study emphasizes the lack of precision in present current-sensing techniques. Then, a precise analogical emulation of currents in every leg, based on only one current sensor, is proposed. Two prototypes have been developed and validate this approach. Finally, because of growing interest of industrial in modular architectures, two innovations which avoid the use of central specic circuit are presented. First, a masterless and modular current sharing technique is proposed and tested : it allows a very precise dierential current measurement and regulation. Then a modular generation of self-aligned triangular carrier for interleaved converters is proposed and conrmed by test. The association of both techniques leads to a full masterless and modular approach for the control circuit of parallel converter with coupled inductors.

Le vieillissement musculaire est caractérisé par des pertes progressives de masse et de fonction. Des altérations de l’énergétique mitochondriale pourraient être impliquées dans ce processus. Dans cette thèse, l’analyse modulaire du contrôle métabolique a été appliquée chez le rat à différents niveaux d’intégration pour caractériser les effets du vieillissement sur la fonction mitochondriale. Combinée à la spectroscopie RMN du 31P, cette approche a permis de montrer in vivo dans le muscle gastrocnemius une diminution de la réponse de phosphorylation oxydative mitochondriale face à des variations de concentration des intermédiaires énergétiques chez les rats âgés (21 mois vs. 6 mois). Suivant les principes de l’analyse Top-Down, les propriétés de la phosphorylation oxydative ont été étudiées sur des mitochondries isolées à partir du muscle gastrocnemius. La capacité maximale de production d’ATP est réduite chez les rats âgés, alors que le rendement maximal (rapport ATP/O) de la phosphorylation oxydative reste inchangé. L’application de l’analyse modulaire in vitro a révélé chez les rats âgés une augmentation de la réponse (élasticité) du module phosphorylation face à des variations du potentiel de membrane. Cette élasticité plus élevée explique la modification du schéma de contrôle de la phosphorylation oxydative pour des activités de phosphorylation compatibles avec celles étudiées in vivo. Elle explique également le plus faible potentiel de membrane généré par les mitochondries de rats âgés pour un même niveau d’activité de phosphorylation. De nombreux processus pourraient de fait être affectés : production de radicaux libres, homéostasie calcique, voies de signalisation impliquées dans le contrôle de la masse musculaire. Les modifications des propriétés fonctionnelles de l’ANT démontrées dans cette thèse sont en mesure d’expliquer, au moins en partie, les modifications de l’énergétique mitochondriale révélées à la fois in vitro et in vivo chez les rats âgés. / Skeletal muscle aging is characterized by a progressive loss of muscle mass and function. Involvement in this process of an impaired mitochondrial bioenergetics was proposed but is still extensively debated. The aim of this thesis was to take adventage of the capabilities of modular control analysis approach to get better insights in the effects of aging on mitochondrial function. We first studied the integrated muscle energetics in adult (6 months) and aged (21 months) rats using the modular control analysis approach combined with non-invasive 31P NMR spectroscopy measurements of energetic intermediates. The in vivo activation of mitochondrial oxidative phosphorylation in response to an increase in ATP demand was markedly decreased in the gastrocnemius muscle of aged rats. To further define the effects of aging on mitochondrial energetics, we thus studied the oxidative phosphorylation in mitochondria isolated from the gastrocnemius muscle. Maximal oxidative phosphorylation capacity is clearly reduced in aged rats, while mitochondrial efficiency is unaffected. Application of modular control analysis to the study of oxidative phosphorylation revealed an increased sensitivity (elasticity) of the phosphorylation module in response to changes in membrane potential in aged rats. This increased elasticity is responsible for a modified control pattern of oxidative phosphorylation under low phosphorylation activities. Interestingly these low activities certainly correspond to those we studied in vivo. This increased elasticity of the phosphorylation module is responsible for a modified mitochondrial response toward changes in cellular ATP demand, leading to a decreased membrane potential, which may in turn affect many cellular processes such as ROS production, calcium homeostasis and some signaling pathways involved in the control of muscle mass. The modified ANT properties evidenced in this thesis certainly explain, at least in part, the modified mitochondrial energetics reaveled both in vitro and in vivo in aged rats.

Le domaine de la conversion d’énergie requiert, la plupart du temps, la mise en œuvre d’études spécifiques et coûteuses pour répondre, avec les meilleures performances possibles (rendement, compacité, CEM), aux diverses applications. Afin de proposer une solution générique et évolutive, nous nous sommes intéressés à l’utilisation d’un réseau de micro-convertisseurs optimisés, de faible puissance, que l’on peut associer en série et/ou en parallèle, pour couvrir un large domaine d’applications. Dans ces conditions, un effort unique de réflexion est à porter sur le dimensionnement d’un micro-convertisseur optimisé qui joue le rôle de cellule élémentaire ou de brique de base pour l’établissement du réseau complet. Cependant, cela suppose de mettre en œuvre également une méthode de contrôle adaptée au grand nombre de micro-convertisseurs ainsi qu’une technique de communication entre tous les micro-convertisseurs, pour assurer un bon équilibrage de la puissance. L'objectif principal de cette thèse est de fournir une solution intégrée pour le contrôle à la fois des cellules de commutation internes du micro-convertisseur et du réseau lui-même. Pour y parvenir, une solution modulaire de contrôle entièrement décentralisé est proposée. Trois étapes essentielles sont alors étudiées : la génération des porteuses entrelacées, l’équilibrage des courants de phase et la régulation des grandeurs de sortie courant et/ou tension. Ces trois étapes sont abordées de manière à proposer une solution entièrement décentralisée. Plusieurs cartes de test ont été réalisées pour valider chaque fonction indépendamment. Un circuit intégré (démonstrateur), implémentant l’ensemble des fonctions nécessaires au contrôle d’un micro-convertisseur 5V-2A-1MHz, a également été conçu et testé. Les résultats expérimentaux montrent clairement la validité des solutions proposées, ce qui ouvre la voie vers un contrôle mieux adapté aux nouveaux types d’architectures multi-phasées et distribuées en réseau. / The field of energy conversion requires, in most cases, the implementation of specific and expensive studies in order to answer to various applications with the best performances of efficiency, compactness, and EMC for example. To propose a generic and scalable solution, we are interested in the use of a network of optimized micro-converters, low power, which can be combined in series and/or in parallel, to cover a wide range of applications. Under these conditions, one single effort is to focus on the design of an optimized micro-converter which plays the role of individual cell or brick base for the establishment of the complete network. However, this means also to implement a control method adapted to many micro-converters and a communication method between all micro-converters, to ensure a good balance of power. The main objective of this thesis is to provide an integrated solution for controlling both internal commutation cells of each micro-converter and the all network itself. To achieve this, a modular and fully decentralized control solution is proposed. Three essential steps are studied: the generation of interleaved carriers, the phase currents balancing and the output variables regulation (current and / or voltage). These three steps are discussed in order to propose a fully decentralized solution. Several test cards were realized to validate each function independently. An integrated circuit (demonstrator), implementing all the necessary control functions for a 5V-2A-1MHz micro-converter has also been designed and tested. The experimental results clearly demonstrate the validity of the proposed solutions, which opens the way to a control much more adapted to these new architectures of multi-phase conversion and distributed network.