Relevant bibliographies by topics / Mixed Logical Dynamical Systems

Academic literature on the topic 'Mixed Logical Dynamical Systems'

Author: Grafiati
Published: 10 December 2022
Last updated: 29 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Mixed Logical Dynamical Systems.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Mixed Logical Dynamical Systems"

1

Frick, Damian, Alexander Domahidi, and Manfred Morari. "Embedded optimization for mixed logical dynamical systems." Computers & Chemical Engineering 72 (January 2015): 21–33. http://dx.doi.org/10.1016/j.compchemeng.2014.06.005.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bernardo, C., and F. Vasca. "A Mixed Logical Dynamical Model of the Hegselmann–Krause Opinion Dynamics." IFAC-PapersOnLine 53, no. 2 (2020): 2826–31. http://dx.doi.org/10.1016/j.ifacol.2020.12.952.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Misik, Stefan, Jakub Arm, and Zdenek Bradac. "Formulation and Simulation of Receding Horizon Control over Mixed Logical Dynamical System." IFAC-PapersOnLine 51, no. 6 (2018): 390–95. http://dx.doi.org/10.1016/j.ifacol.2018.07.185.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Araújo Elias, Tiago, Paulo Renato Costa Mendes, and Júlio Elias Normey‐Rico. "Mixed Logical Dynamical Nonlinear Model Predictive Controller for Large‐Scale Solar Fields." Asian Journal of Control 21, no. 4 (January 17, 2019): 1881–91. http://dx.doi.org/10.1002/asjc.1967.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bemporad, A. "Efficient Conversion of Mixed Logical Dynamical Systems Into an Equivalent Piecewise Affine Form." IEEE Transactions on Automatic Control 49, no. 5 (May 2004): 832–38. http://dx.doi.org/10.1109/tac.2004.828315.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Zanma, Tadanao, Keizo Fuke, Shang Chang Ma, and Muneaki Ishida. "Simultaneous identification of piecewise affine systems and number of subsystems using mixed logical dynamical systems theory." Electronics and Communications in Japan 91, no. 5 (May 2008): 1–10. http://dx.doi.org/10.1002/ecj.10109.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

NAKAO, Shogo, and Toshimitsu USHIO. "Self-Triggered Predictive Control with Time-Dependent Activation Costs of Mixed Logical Dynamical Systems." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E97.A, no. 2 (2014): 476–83. http://dx.doi.org/10.1587/transfun.e97.a.476.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Zanma, Tadanao, Keizo Fuke, Shang Chang Ma, and Muneaki Ishida. "Simultaneous Identification of PieceWise Affine Systems and Number of Subsystems Using Mixed Logical Dynamical System Theory." IEEJ Transactions on Electronics, Information and Systems 127, no. 8 (2007): 1251–58. http://dx.doi.org/10.1541/ieejeiss.127.1251.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Zanma, Tadanao, Shinya Akiba, Koki Hoshikawa, and Kang-Zhi Liu. "Cruise Control for a Two-Wheeled Mobile Vehicle Using Its Mixed Logical Dynamical System Model." IEEE Transactions on Industrial Informatics 16, no. 5 (May 2020): 3145–56. http://dx.doi.org/10.1109/tii.2019.2910280.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ma, H., S. Wei, L. Li, T. Lin, and S. Chen. "Mixed logical dynamical model of the pulsed gas tungsten arc welding process with varied gap." Proceedings of the Institution of Mechanical Engineers, Part I: Journal of Systems and Control Engineering 225, no. 2 (March 2011): 270–80. http://dx.doi.org/10.1243/09596518jsce1016.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Mixed Logical Dynamical Systems"

1

Zhang, Liang. "Dynamical logical circuits in excitable chemical systems." Thesis, University of the West of England, Bristol, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.572678.

Full text
Abstract:
This project aims to construct logical circuits in models of chemical media, including two cellular automata models: the 2+ -medium and the spiral rule, as well as a numerical simulation model of the light-sensitive Belousov-Zhabotinsky (BZ) medium. The 2+ -medium is a two-dimensional three-state cellular automaton model of the excitable medium. Each cell takes one of the three possible states: excited, refractory and resting. All cells update their states simultaneously in discrete time depending on the states of its eight neighbours. A resting cell becomes excited if it has exactly two excited neighbours, and the transitions from excited state to refractory state, and from refractory state to resting state are unconditional. Binary adders and multipliers are implemented in the 2+ -medium . The spiral rule is a three-state k-totalistic cellular automaton on a two-dimensional lattice with hexagonal tiling. Each cell has three possible states: 0, 1 and 2, and a 7- cell neighbourhood consisting of the cell itself as well as its six closest neighbours. The spiral rule can also be interpreted as a model of reaction-diffusion chemical system. Many structures emerge while evolving the spiral rule, including gliders, stationary eaters and glider guns. Binary counters and adders are implemented in the spiral rule. The light-sensitive ruthenium-catalysed BZ medium has a feature that its excitability can be controlled by adjusting the light intensity. While the excitability is in the sub-excitable state, wave-fragments can be initiated, providing a means to perform collision-based computing in real chemical media. In this project, a two-variable Oregonator model is used to simulate such a medium. A 1-bit half adder is implemented in the simulated medium with wave-fragments constrained by channels.
APA, Harvard, Vancouver, ISO, and other styles
2

Stellato, Bartolomeo. "Mixed-integer optimal control of fast dynamical systems." Thesis, University of Oxford, 2017. https://ora.ox.ac.uk/objects/uuid:b8a7323c-e36e-45ec-ae8d-6c9eb4350629.

Full text
Abstract:
Many applications in engineering, computer science and economics involve mixed-integer optimal control problems. Solving these problems in real-time is a challenging task because of the explosion of integer combinations to evaluate. This thesis focuses on the development of new algorithms for mixed-integer programming with an emphasis on optimal control problems of fast dynamical systems with discrete controls. The first part proposes two reformulations to reduce the computational complexity. The first reformulation avoids integer variables altogether. By considering a sequence of switched dynamics, we analyze the switching time optimization problem. Even though it is a continuous smooth problem, it is non-convex and the cost function and derivatives are hard to compute. We develop a new efficient method to compute the cost function and its derivatives. Our technique brings up to two orders of magnitude speedups with respect to state-of-the-art tools. The second approach reduces the number of integer decisions. In hybrid model predictive control (MPC) the computational complexity grows exponentially with the horizon length. Using approximate dynamic programming (ADP) we reduce the horizon length while maintaining good control performance by approximating the tail cost offline. This approach allows, for the first time, the application of such control techniques to fast dynamical systems with sampling times of only a few microseconds. The second part investigates embedded branch-and-bound algorithms for mixed-integer quadratic programs (MIQPs). A core component of these methods is the solution of continuous quadratic programs (QPs). We develop OSQP, a new robust and efficient general-purpose QP solver based on the alternating direction method of multipliers (ADMM) and able, for the first time, to detect infeasible problems. We include OSQP into a custom branch-and-bound algorithm suitable for embedded systems. Our extension requires only a single matrix factorization and exploits warm-starting, thereby greatly reducing the number of ADMM iterations required. Numerical examples show that our algorithm solves small to medium scale MIQPs more quickly than commercial solvers.
APA, Harvard, Vancouver, ISO, and other styles
3

Löck, Steffen. "Dynamical Tunneling in Systems with a Mixed Phase Space." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-33335.

Full text
Abstract:
Tunneling is one of the most prominent features of quantum mechanics. While the tunneling process in one-dimensional integrable systems is well understood, its quantitative prediction for systems with mixed phase space is a long-standing open challenge. In such systems regions of regular and chaotic dynamics coexist in phase space, which are classically separated but quantum mechanically coupled by the process of dynamical tunneling. We derive a prediction of dynamical tunneling rates which describe the decay of states localized inside the regular region towards the so-called chaotic sea. This approach uses a fictitious integrable system which mimics the dynamics inside the regular domain and extends it into the chaotic region. Excellent agreement with numerical data is found for kicked systems, billiards, and optical microcavities, if nonlinear resonances are negligible. Semiclassically, however, such nonlinear resonance chains dominate the tunneling process. Hence, we combine our approach with an improved resonance-assisted tunneling theory and derive a unified prediction which is valid from the quantum to the semiclassical regime. We obtain results which show a drastically improved accuracy of several orders of magnitude compared to previous studies
Der Tunnelprozess ist einer der bedeutensten Effekte in der Quantenmechanik. Während das Tunneln in eindimensionalen integrablen Systemen gut verstanden ist, gestaltet sich dessen Beschreibung für Systeme mit gemischtem Phasenraum weitaus schwieriger. Solche Systeme besitzen Gebiete regulärer und chaotischer Bewegung, die klassisch getrennt sind, aber quantenmechanisch durch den Prozess des dynamischen Tunnelns gekoppelt werden. In dieser Arbeit wird eine theoretische Vorhersage für dynamische Tunnelraten abgeleitet, die den Zerfall von Zuständen, die im regulären Gebiet lokalisiert sind, in die sogenannte chaotische See beschreibt. Dazu wird ein fiktives integrables System konstruiert, das im regulären Bereich eine nahezu gleiche Dynamik aufweist und diese Dynamik in das chaotische Gebiet fortsetzt. Die Theorie zeigt eine ausgezeichnete Übereinstimmung mit numerischen Daten für gekickte Systeme, Billards und optische Mikrokavitäten, falls nichtlineare Resonanzketten vernachlässigbar sind. Semiklassisch jedoch bestimmen diese nichtlinearen Resonanzketten den Tunnelprozess. Daher kombinieren wir unseren Zugang mit einer verbesserten Theorie des Resonanz-unterstützten Tunnelns und erhalten eine Vorhersage,die vom Quanten- bis in den semiklassischen Bereich gültig ist. Ihre Resultate zeigen eine Genauigkeit, die verglichen mit früheren Theorien um mehrere Größenordnungen verbessert wurde
APA, Harvard, Vancouver, ISO, and other styles
4

Schilling, Lars. "Direct dynamical tunneling in systems with a mixed phase space." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2007. http://nbn-resolving.de/urn:nbn:de:swb:14-1184857765287-05752.

Full text
Abstract:
Tunneling in 1D describes the effect that quantum particles can penetrate a classically insurmountable potential energy barrier. The extension to classically forbidden transitions in phase space generalizes the tunneling concept. A typical 1D Hamiltonian system has a mixed phase space. It contains regions of regular and chaotic dynamics, the so-called regular islands and the chaotic sea. These different phase space components are classically separated by dynamically generated barriers. Quantum mechanically they are, however, connected by dynamical tunneling. We perform a semiclassical quantization of almost resonance-free regular islands and transporting island chains of quantum maps. This yields so-called quasimodes, which are used for the investigation of direct dynamical tunneling from an almost resonance-free regular island to the chaotic sea. We derive a formula which allows for the determination of dynamical tunneling rates. Good agreement between this analytical prediction and numerical results is found over several orders of magnitude for two example systems
Der 1D Tunneleffekt bezeichnet das Durchdringen einer klassisch nicht überwindbaren potentiellen Energiebarriere durch Quantenteilchen. Eine Verallgemeinerung des Tunnelbegriffs ist die Erweiterung auf jegliche Art von klassisch verbotenen Übergangsprozessen im Phasenraum. Der Phasenraum eines typischen 1D Hamiltonschen Systems ist gemischt. Er besteht aus Bereichen regulärer und chaotischer Dynamik, den sogenannten regulären Inseln und der chaotischen See. Während diese verschiedenen Phasenraumbereiche klassisch durch dynamisch generierte Barrieren voneinander getrennt sind, existiert quantenmechanisch jedoch eine Verknüpfung durch den dynamischen Tunnelprozess. In dieser Arbeit wird eine semiklassische Quantisierung von praktisch resonanz-freien regulären Inseln und transportierenden Inselketten von Quantenabbildungen durchgeführt. Die daraus folgenden sogenannten Quasimoden werden für die Untersuchung des direkten dynamischen Tunnelns aus einer praktisch resonanz-freien regulären Insel in die chaotische See verwendet, was auf eine Tunnelraten vorhersagende Formel führt. Ihre anschlie?ßende Anwendung auf zwei Modellsysteme zeigt eine gute Übereinstimmung zwischen Numerik und analytischer Vorhersage über viele Größenordnungen
APA, Harvard, Vancouver, ISO, and other styles
5

Schilling, Lars. "Direct dynamical tunneling in systems with a mixed phase space." Doctoral thesis, Technische Universität Dresden, 2006. https://tud.qucosa.de/id/qucosa%3A23944.

Full text
Abstract:
Tunneling in 1D describes the effect that quantum particles can penetrate a classically insurmountable potential energy barrier. The extension to classically forbidden transitions in phase space generalizes the tunneling concept. A typical 1D Hamiltonian system has a mixed phase space. It contains regions of regular and chaotic dynamics, the so-called regular islands and the chaotic sea. These different phase space components are classically separated by dynamically generated barriers. Quantum mechanically they are, however, connected by dynamical tunneling. We perform a semiclassical quantization of almost resonance-free regular islands and transporting island chains of quantum maps. This yields so-called quasimodes, which are used for the investigation of direct dynamical tunneling from an almost resonance-free regular island to the chaotic sea. We derive a formula which allows for the determination of dynamical tunneling rates. Good agreement between this analytical prediction and numerical results is found over several orders of magnitude for two example systems.
Der 1D Tunneleffekt bezeichnet das Durchdringen einer klassisch nicht überwindbaren potentiellen Energiebarriere durch Quantenteilchen. Eine Verallgemeinerung des Tunnelbegriffs ist die Erweiterung auf jegliche Art von klassisch verbotenen Übergangsprozessen im Phasenraum. Der Phasenraum eines typischen 1D Hamiltonschen Systems ist gemischt. Er besteht aus Bereichen regulärer und chaotischer Dynamik, den sogenannten regulären Inseln und der chaotischen See. Während diese verschiedenen Phasenraumbereiche klassisch durch dynamisch generierte Barrieren voneinander getrennt sind, existiert quantenmechanisch jedoch eine Verknüpfung durch den dynamischen Tunnelprozess. In dieser Arbeit wird eine semiklassische Quantisierung von praktisch resonanz-freien regulären Inseln und transportierenden Inselketten von Quantenabbildungen durchgeführt. Die daraus folgenden sogenannten Quasimoden werden für die Untersuchung des direkten dynamischen Tunnelns aus einer praktisch resonanz-freien regulären Insel in die chaotische See verwendet, was auf eine Tunnelraten vorhersagende Formel führt. Ihre anschlie?ßende Anwendung auf zwei Modellsysteme zeigt eine gute Übereinstimmung zwischen Numerik und analytischer Vorhersage über viele Größenordnungen.
APA, Harvard, Vancouver, ISO, and other styles
6

Rossi, Luca. "Poincaré recurrences in mixed dynamical systems and in genomic sequences=[Récurrences de Poincaré dans les systèmes dynamiques mixtes et dans les séquences génomiques]." Toulon, 2006. http://www.theses.fr/2006TOUL0018.

Full text
Abstract:
Dans le cas des systèmes dynamiques mixtes, pour des domaines intersectant la frontière qui sépare deux régions invariantes par rapport à la dynamique, les distributions du nombre de visites sont données par une superposition linéaire des distributions caractérristiques de chaque région. Ce résultat permet d'expliquer l'apparition d'un décroissance asymptotique selon une loi de puissance, et a été confirmé par l' analyse numérique sur l'application standard, quand des mouvements réguliers et chaotiques coexistent. L'application des récurrences de Poincaré à l'étude des séquences génomiques codantes et non-codantes montre une décroissance exponentielle pour les deux types de sequences, qui semblent donc se comporter comme des systèmes fortement mélangeants. En conclusion, les récurrences de Poincaré semblent capables de capturer certains des caractéristiques fondamentales des systèmes dynamiques
In the case of mixed dynamical systems, for domains intersecting the boundary between two regions invariant with respect to the dynamics, the distributions of the number of visits are given by a linear combination of the distributions characteristic of each region. This result allows to understand the appearance of an asymptotic power law decay, and it has been confirmed by the numerical analysis on the standard map. When regular and chaotic behaviours coexist. The application of Poincare recurrences to the study of coding and noncoding genomic sequences shows an exponential decay for both kind of sequences, which seem therefore to behave as strongly mixing systems. To conclude, Poincare recurrences appear capable to capture some of the fundamental features of dynamical systems
APA, Harvard, Vancouver, ISO, and other styles
7

Defterli, Ozlem. "Modern Mathematical Methods In Modeling And Dynamics Ofregulatory Systems Of Gene-environment Networks." Phd thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12613592/index.pdf.

Full text
Abstract:
Inferring and anticipation of genetic networks based on experimental data and environmental measurements is a challenging research problem of mathematical modeling. In this thesis, we discuss gene-environment network models whose dynamics are represented by a class of time-continuous systems of ordinary differential equations containing unknown parameters to be optimized. Accordingly, time-discrete version of that model class is studied and improved by using different numerical methods. In this aspect, 3rd-order Heun&rsquo
s method and 4th-order classical Runge-Kutta method are newly introduced, iteration formulas are derived and corresponding matrix algebras are newly obtained. We use nonlinear mixed-integer programming for the parameter estimation and present the solution of a constrained and regularized given mixed-integer problem. By using this solution and applying the 3rd-order Heun&rsquo
s and 4th-order classical Runge-Kutta methods in the timediscretized model, we generate corresponding time-series of gene-expressions by this thesis. Two illustrative numerical examples are studied newly with an artificial data set and a realworld data set which expresses a real phenomenon. All the obtained approximate results are compared to see the goodness of the new schemes. Different step-size analysis and sensitivity tests are also investigated to obtain more accurate and stable predictions of time-series results for a better service in the real-world application areas. The presented time-continuous and time-discrete dynamical models are identified based on given data, and studied by means of an analytical theory and stability theories of rarefication, regularization and robustification.
APA, Harvard, Vancouver, ISO, and other styles
8

Batista, Levy. "Identification de systèmes dynamiques linéaires à effets mixtes : applications aux dynamiques de populations cellulaires." Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0224.

Full text
Abstract:
L’identification de systèmes dynamiques est une approche de modélisation fondée uniquement sur la connaissance des signaux d’entrée et de sortie de plus en plus utilisée en biologie. Dans ce même domaine d’application, des plans d’expériences sont souvent appliqués pour tester les effets de facteurs qualitatifs sur la réponse et chaque expérience est répétée plusieurs fois pour estimer la reproductibilité des résultats. Dans un objectif d’inférence, il est important de prendre en compte dans la procédure de modélisation les variabilités expliquées (effets fixes) et inexpliquées (effets aléatoires) entre les réponses individuelles. Une solution consiste à utiliser des modèles à effets mixtes mais jusqu’à présent il n’existe aucune approche similaire dans la communauté automaticienne de l’identification de systèmes. L’objectif de la thèse est de combler ce manque grâce à l’utilisation de structures de modèle hiérarchiques introduisant des effets mixtes au sein des représentations polynomiales boites noires de systèmes dynamiques linéaires. Une nouvelle méthode d’estimation des paramètres adaptée aussi bien à des structures simples comme ARX qu’à des structures plus complètes comme celle de Box-Jenkins est développée. Une solution au calcul de la matrice d’information de Fisher est également proposée. Finalement, une application à trois cas d’étude en biologie a permis de valider l’interêt pratique de l’approche d’identification de populations de systèmes dynamiques
System identification is a data-driven input-output modeling approach more and more used in biology and biomedicine. In this application context, methods of experimental design are often used to test effects of qualitative factors on the response and each assay is always replicated to estimate the reproducibility of outcomes. The inference of the modeling conclusions to the whole population requires to account within the modeling procedure for the explained variability (fixed effects) and the unexplained variabilities (random effects) between the individual responses. One solution consists in using mixed effects models but up to now no similar approach exists in the system identification literature. The objective of this thesis is to fill this gap by using hierarchical model structures introducing mixed effects within polynomial black-box representations of linear dynamical systems. A new method is developed to estimate parameters of model structures such as ARX or Box-Jenkins. A solution is also proposed to compute the Fisher’s matrix. Finally, three application studies are carried out and emphasize the practical relevance of the proposed approach to identify populations of dynamical systems
APA, Harvard, Vancouver, ISO, and other styles
9

Singh, Vidisha. "Integrative analysis and modeling of molecular pathways dysregulated in rheumatoid arthritis Computational systems biology approach for the study of rheumatoid arthritis: from a molecular map to a dynamical model RA-map: building a state-of-the-art interactive knowledge base for rheumatoid arthritis Automated inference of Boolean models from molecular interaction maps using CaSQ." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASL039.

Full text
Abstract:
La polyarthrite rhumatoïde (PR) est unemaladie auto-immune complexe qui entraîne uneinflammation synoviale et une hyperplasie pouvantprovoquer une érosion osseuse et une destruction ducartilage dans les articulations. L'étiologie de la PR restepartiellement inconnue, mais elle implique de multiplescascades de signalisation croisées et l'expression demédiateurs pro-inflammatoires. Dans la première partie demon projet de doctorat, nous présentons un effortsystématique pour construire une base de connaissancessur la PR, entièrement annotée et validée par des experts.Cette carte de la PR illustre les voies moléculaires et designalisation importantes impliquées dans la maladie. Latransduction du signal est systématiquement représentéedes récepteurs au noyau en utilisant la représentationstandard de notation graphique en biologie des systèmes(SBGN). La curation manuelle est basée sur des critèresstricts et spécifique aux études sur l'homme, limitantl'apparition de faux positifs sur la carte. Cette carte peutservir de base de connaissances interactive pour la maladiemais aussi de tableau pour la visualisation des donnéesomiques. De plus, c’est une excellente base pour ledéveloppement d'un modèle informatique. La naturestatique de la carte PR pourrait fournir une compréhensionrelativement limitée du comportement émergeant dusystème dans différentes conditions. La modélisationinformatique pourra révéler les propriétés dynamiques duréseau par le biais de perturbations in silico et peut êtreutilisée pour tester et prédire des hypothèses.Dans la deuxième partie du projet, nous présentons unpipeline permettant la construction automatisée d'un grandmodèle booléen, à partir d'une carte d'interactionsmoléculaires. Pour cela, nous avons développé l'outilCaSQ (CellDesigner as SBML-qual), qui automatise laconversion des cartes moléculaires en modèles booléensexécutables basés sur la topologie et la sémantique descartes. Le modèle booléen résultant pourrait être utilisépour des simulations in silico afin de reproduire lecomportement biologique connu du système et de prédirede nouvelles cibles thérapeutiques. Pour l'analyse deperformance de l’outil, nous avons utilisé différentescartes et modèles de maladies en mettant l'accent sur lagrande carte moléculaire de la PR.Dans la troisième partie du projet, nous présentons nosefforts pour créer un modèle dynamique (booléen) àgrande échelle pour les synoviocytes de type fibroblastede polyarthrite rhumatoïde (RA-FLS). Parmi denombreuses cellules de l'articulation et du systèmeimmunitaire impliquées dans la pathogenèse de la PR, lesRA-FLS joue un rôle important dans l'initiation et laperpétuation de l'inflammation articulaire destructrice.Les RA-FLS expriment des cytokinesimmunomodulatrices, des molécules d'adhésion et desenzymes de modélisation matricielle. De plus, les RAFLSprésentent des taux de prolifération élevés et unphénotype résistant à l'apoptose. Les RA-FLS peuventégalement se comporter comme les principaux moteurs del'inflammation, et les thérapies dirigées contre les RA FLSpourraient devenir une approche complémentaire auximmunothérapies. Le défi est de prédire les conditionsoptimales qui favoriseraient l'apoptose des RA FLS,limiteraient l'inflammation, ralentiraient le taux deprolifération et minimiseraient l'érosion osseuse et ladestruction du cartilage
Rheumatoid arthritis (RA) is a complexautoimmune disease that results in synovial inflammationand hyperplasia leading to bone erosion and cartilagedestruction in the joints. The aetiology of RA remainspartially unknown, yet, it involves a variety of intertwinedsignalling cascades and the expression of pro-inflammatorymediators. In the first part of my PhD project, we present asystematic effort to construct a fully annotated, expertvalidated, state of the art knowledge-base for RA. The RAmap illustrates significant molecular and signallingpathways implicated in the disease. Signal transduction isdepicted from receptors to the nucleus systematically usingthe systems biology graphical notation (SBGN) standardrepresentation. Manual curation based on strict criteria andrestricted to only human-specific studies limits theoccurrence of false positives in the map. The RA map canserve as an interactive knowledge base for the disease butalso as a template for omic data visualization and as anexcellent base for the development of a computationalmodel. The static nature of the RA map could provide arelatively limited understanding of the emerging behaviorof the system under different conditions. Computationalmodeling can reveal dynamic network properties throughin silico perturbations and can be used to test and predictassumptions.In the second part of the project, we present a pipelineallowing the automated construction of a large Booleanmodel, starting from a molecular interaction map. For thispurpose, we developed the tool CaSQ (CellDesigner asSBML-qual), which automates the conversion ofmolecular maps to executable Boolean models based ontopology and map semantics. The resulting Booleanmodel could be used for in silico simulations to reproduceknown biological behavior of the system and to furtherpredict novel therapeutic targets. For benchmarking, weused different disease maps and models with a focus onthe large molecular map for RA.In the third part of the project we present our efforts tocreate a large scale dynamical (Boolean) model forrheumatoid arthritis fibroblast-like synoviocytes (RAFLS).Among many cells of the joint and of the immunesystem involved in the pathogenesis of RA, RA FLS playa significant role in the initiation and perpetuation ofdestructive joint inflammation. RA-FLS are shown toexpress immuno-modulating cytokines, adhesionmolecules, and matrix-modelling enzymes. Moreover,RA-FLS display high proliferative rates and an apoptosisresistantphenotype. RA-FLS can also behave as primarydrivers of inflammation, and RA FLS-directed therapiescould become a complementary approach to immunedirectedtherapies. The challenge is to predict the optimalconditions that would favour RA FLS apoptosis, limitinflammation, slow down the proliferation rate andminimize bone erosion and cartilage destruction
APA, Harvard, Vancouver, ISO, and other styles
10

Niyogi, Partha, and Robert Berwick. "The Logical Problem of Language Change." 1995. http://hdl.handle.net/1721.1/7196.

Full text
Abstract:
This paper considers the problem of language change. Linguists must explain not only how languages are learned but also how and why they have evolved along certain trajectories and not others. While the language learning problem has focused on the behavior of individuals and how they acquire a particular grammar from a class of grammars ${cal G}$, here we consider a population of such learners and investigate the emergent, global population characteristics of linguistic communities over several generations. We argue that language change follows logically from specific assumptions about grammatical theories and learning paradigms. In particular, we are able to transform parameterized theories and memoryless acquisition algorithms into grammatical dynamical systems, whose evolution depicts a population's evolving linguistic composition. We investigate the linguistic and computational consequences of this model, showing that the formalization allows one to ask questions about diachronic that one otherwise could not ask, such as the effect of varying initial conditions on the resulting diachronic trajectories. From a more programmatic perspective, we give an example of how the dynamical system model for language change can serve as a way to distinguish among alternative grammatical theories, introducing a formal diachronic adequacy criterion for linguistic theories.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Mixed Logical Dynamical Systems"

1

Reiter, Raymond. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Reiter, Raymond. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Reiter, Raymond. Knowledge in Action - Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Nolte, David D. Introduction to Modern Dynamics. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198844624.001.0001.

Full text
Abstract:
Introduction to Modern Dynamics: Chaos, Networks, Space and Time (2nd Edition) combines the topics of modern dynamics—chaos theory, dynamics on complex networks and the geometry of dynamical spaces—into a coherent framework. This text is divided into four parts: Geometric Mechanics, Nonlinear Dynamics, Complex Systems, and Relativity. These topics share a common and simple mathematical language that helps students gain a unified physical intuition. Geometric mechanics lays the foundation and sets the tone for the rest of the book by emphasizing dynamical spaces, like state space and phase space, whose geometric properties define the set of all trajectories through those spaces. The section on nonlinear dynamics has chapters on chaos theory, synchronization, and networks. Chaos theory provides the language and tools to understand nonlinear systems, introducing fixed points that are classified through stability analysis and nullclines that shepherd system trajectories. Synchronization and networks are central paradigms in this book because they demonstrate how collective behavior emerges from the interactions of many individual nonlinear elements. The section on complex systems contains chapters on neural dynamics, evolutionary dynamics, and economic dynamics. The final section contains chapters on metric spaces and the special and general theories of relativity. In the second edition, sections on conventional topics, like applications of Lagrangians, have been strengthened, as well as being updated to provide a modern perspective. Several of the introductory chapters have been rearranged for improved logical flow and there are expanded homework problems at the end of each chapter.
APA, Harvard, Vancouver, ISO, and other styles
6

Herminghaus, S. Where grains and fluids meet: the complex physics of wet granular matter. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198789352.003.0009.

Full text
Abstract:
In this chapter, the physics of wet granular matter is discussed. The practical significance of wet granular matter goes of course well beyond the construction of sand sculptures. Most industrial raw materials are solids and come in granular form, and the processes into which they feed involve their being mixed with liquids and agglomerated, conveyed, kneaded, or cast in moulds. For appropriately engineering these processes, including the minimization of energy consumption, a deep understanding of the mechanical properties of this class of materials is indispensable. Furthermore, if we want to mitigate, or even reliably predict, such devastating events as land slides or mud flows, we need to study the dynamical behaviour of wet granular matter in detail. This applies as well to other, similar systems of relevance, such as ice and snow avalanches, which can be modelled as wet granular systems as well.
APA, Harvard, Vancouver, ISO, and other styles
7

Busuioc, Aristita, and Alexandru Dumitrescu. Empirical-Statistical Downscaling: Nonlinear Statistical Downscaling. Oxford University Press, 2018. http://dx.doi.org/10.1093/acrefore/9780190228620.013.770.

Full text
Abstract:
This is an advance summary of a forthcoming article in the Oxford Research Encyclopedia of Climate Science. Please check back later for the full article.The concept of statistical downscaling or empirical-statistical downscaling became a distinct and important scientific approach in climate science in recent decades, when the climate change issue and assessment of climate change impact on various social and natural systems have become international challenges. Global climate models are the best tools for estimating future climate conditions. Even if improvements can be made in state-of-the art global climate models, in terms of spatial resolution and their performance in simulation of climate characteristics, they are still skillful only in reproducing large-scale feature of climate variability, such as global mean temperature or various circulation patterns (e.g., the North Atlantic Oscillation). However, these models are not able to provide reliable information on local climate characteristics (mean temperature, total precipitation), especially on extreme weather and climate events. The main reason for this failure is the influence of local geographical features on the local climate, as well as other factors related to surrounding large-scale conditions, the influence of which cannot be correctly taken into consideration by the current dynamical global models.Impact models, such as hydrological and crop models, need high resolution information on various climate parameters on the scale of a river basin or a farm, scales that are not available from the usual global climate models. Downscaling techniques produce regional climate information on finer scale, from global climate change scenarios, based on the assumption that there is a systematic link between the large-scale and local climate. Two types of downscaling approaches are known: a) dynamical downscaling is based on regional climate models nested in a global climate model; and b) statistical downscaling is based on developing statistical relationships between large-scale atmospheric variables (predictors), available from global climate models, and observed local-scale variables of interest (predictands).Various types of empirical-statistical downscaling approaches can be placed approximately in linear and nonlinear groupings. The empirical-statistical downscaling techniques focus more on details related to the nonlinear models—their validation, strengths, and weaknesses—in comparison to linear models or the mixed models combining the linear and nonlinear approaches. Stochastic models can be applied to daily and sub-daily precipitation in Romania, with a comparison to dynamical downscaling. Conditional stochastic models are generally specific for daily or sub-daily precipitation as predictand.A complex validation of the nonlinear statistical downscaling models, selection of the large-scale predictors, model ability to reproduce historical trends, extreme events, and the uncertainty related to future downscaled changes are important issues. A better estimation of the uncertainty related to downscaled climate change projections can be achieved by using ensembles of more global climate models as drivers, including their ability to simulate the input in downscaling models. Comparison between future statistical downscaled climate signals and those derived from dynamical downscaling driven by the same global model, including a complex validation of the regional climate models, gives a measure of the reliability of downscaled regional climate changes.
APA, Harvard, Vancouver, ISO, and other styles
8

Roșu, Felicia. Elective Monarchy in Transylvania and Poland-Lithuania, 1569-1587. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198789376.001.0001.

Full text
Abstract:
This book examines the transformation of elective monarchy in Transylvania and the Polish-Lithuanian Commonwealth in the 1570s. It does so by focusing on the foundational and experimental character of the first elections of 1571 (Transylvania) and 1573 and 1575–6 (Poland-Lithuania). In this period, the two polities adopted constitutions based on the same fundamental principles: elective thrones, state-sanctioned religious pluralism, and legal guarantees for the right of disobedience. Despite the important differences between them, Transylvania and Poland-Lithuania had one essential thing in common: they were the only two polities in early modern Europe that secured the succession of their rulers through large-scale elections in which the dynastic principle, although still important, was not binding. Apart from chapter 1, which has a chronological approach, the rest of the book thematically follows the development of an election: from voter inclinations and campaigning strategies, to voting procedures, to the contracts between voters and their chosen candidates, to the authority of the newly elected rulers. The conclusion examines the two elective systems from a more theoretical perspective. It argues that mixed government was accompanied by a mixed language that combined attachment to virtue, liberty, and self-government with a pragmatism that became particularly visible during interregna and elections. The constituents of Transylvania and Poland-Lithuania acted, talked, and saw themselves as both citizens and subjects of the rulers they elected. The phenomenon was not a contradiction but the logical consequence of a system in which those who were ruled were periodically called to rule themselves.
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Mixed Logical Dynamical Systems"

1

Munoz-Hernandez, German Ardul, Sa’ad Petrous Mansoor, and Dewi Ieuan Jones. "Predictive Controller of Mixed Logical Dynamical Systems." In Advances in Industrial Control, 239–59. London: Springer London, 2012. http://dx.doi.org/10.1007/978-1-4471-2291-3_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Ma, Hongbo, and Shanben Chen. "Mixed Logical Dynamical Model for Robotic Welding System." In Lecture Notes in Electrical Engineering, 123–28. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19959-2_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Domek, Stefan. "Mixed Logical Dynamical Modeling of Discrete-Time Hybrid Fractional Systems." In Studies in Systems, Decision and Control, 77–105. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-89972-1_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Halbaoui, K., M. F. Belazreg, D. Boukhetala, and M. H. Belhouchat. "Modeling and Predictive Control of Nonlinear Hybrid Systems Using Mixed Logical Dynamical Formalism." In Advances and Applications in Nonlinear Control Systems, 421–50. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-30169-3_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Delvenne, Jean-Charles. "Turing Universality in Dynamical Systems." In Logical Approaches to Computational Barriers, 147–52. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11780342_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Platzer, André. "Dynamical Systems & Dynamic Axioms." In Logical Foundations of Cyber-Physical Systems, 137–72. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-63588-0_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Fages, François, and Pauline Traynard. "Temporal Logic Modeling of Dynamical Behaviors: First-Order Patterns and Solvers." In Logical Modeling of Biological Systems, 291–323. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2014. http://dx.doi.org/10.1002/9781119005223.ch8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Naldi, Aurélien, Elisabeth Remy, Denis Thieffry, and Claudine Chaouiya. "A Reduction of Logical Regulatory Graphs Preserving Essential Dynamical Properties." In Computational Methods in Systems Biology, 266–80. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03845-7_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Esterhuizen, Willem, and Jean Lévine. "From Pure State and Input Constraints to Mixed Constraints in Nonlinear Systems." In Feedback Stabilization of Controlled Dynamical Systems, 125–41. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-51298-3_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Amblard, Paul. "A Finite State Description of the Earliest Logical Computer: The Jevons’ Machine." In Mixed Design of Integrated Circuits and Systems, 195–202. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5651-0_30.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Mixed Logical Dynamical Systems"

1

Guoqi, Ma, Qin Linlin, Liu Xinghua, and Wu Gang. "Sliding mode control for mixed logical dynamical systems." In 2015 34th Chinese Control Conference (CCC). IEEE, 2015. http://dx.doi.org/10.1109/chicc.2015.7260156.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Du, Yaoqiong, Yizhou Wang, and Ching-Yao Chan. "Autonomous lane-change controller via mixed logical dynamical." In 2014 IEEE 17th International Conference on Intelligent Transportation Systems (ITSC). IEEE, 2014. http://dx.doi.org/10.1109/itsc.2014.6957843.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Karaman, Sertac, Ricardo G. Sanfelice, and Emilio Frazzoli. "Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications." In 2008 47th IEEE Conference on Decision and Control. IEEE, 2008. http://dx.doi.org/10.1109/cdc.2008.4739370.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Silva, M. P., A. Bemporad, M. A. Botto, and J. Sa da Costa. "Optimal control of uncertain piecewise affine/mixed logical dynamical systems." In 2003 European Control Conference (ECC). IEEE, 2003. http://dx.doi.org/10.23919/ecc.2003.7085186.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Yaakoubi, Hanen, and Joseph Haggege. "Modeling of Three-Tank Hybrid System using Mixed Logical Dynamical formalism." In 2022 5th International Conference on Advanced Systems and Emergent Technologies (IC_ASET). IEEE, 2022. http://dx.doi.org/10.1109/ic_aset53395.2022.9765937.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Yuya Tanaka, Yasuo Konishi, Nozomu Araki, and Hiroyuki Ishigaki. "Control of container crane by binary input using Mixed Logical Dynamical system." In 2008 International Conference on Control, Automation and Systems (ICCAS). IEEE, 2008. http://dx.doi.org/10.1109/iccas.2008.4694521.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ushio, Toshimitsu, Masaki Hiromoto, Akiyoshi Okamoto, and Tomoaki Akiyama. "WiP Abstract: A Mixed Logical Dynamical System Model for Taxi Cruising Support System." In 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS). IEEE, 2016. http://dx.doi.org/10.1109/iccps.2016.7479123.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jiang, Yongxiang, Linlin Qin, Quan Qiu, Wengang Zheng, and Guoqi Ma. "Greenhouse humidity system modeling and controlling based on mixed logical dynamical." In 2014 33rd Chinese Control Conference (CCC). IEEE, 2014. http://dx.doi.org/10.1109/chicc.2014.6895614.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Shu Li, Jihang Cheng, Yanfeng Cong, and Xingwen Dong. "Automotive engine idle speed control based on Mixed Logical Dynamical system." In 2008 7th World Congress on Intelligent Control and Automation. IEEE, 2008. http://dx.doi.org/10.1109/wcica.2008.4593157.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Wakasa, Takuma, Yoshiki Nagatani, Kenji Sawada, and Seiichi Shin. "Switched Pinning Control for Vehicle Platoons via Mixed Logical Dynamical Modeling*." In 2020 IEEE/SICE International Symposium on System Integration (SII). IEEE, 2020. http://dx.doi.org/10.1109/sii46433.2020.9026268.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Mixed Logical Dynamical Systems"

1

Zhao, Feng. Practical Control Algorithms for Nonlinear Dynamical Systems Using Phase-Space Knowledge and Mixed Numeric and Geometric Computation. Fort Belvoir, VA: Defense Technical Information Center, October 1997. http://dx.doi.org/10.21236/ada330093.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Zhao, Feng. Practical Control Algorithms for Nonlinear Dynamical Systems Using Phase-Space Knowledge and Mixed Numeric and Geometric Computation. Fort Belvoir, VA: Defense Technical Information Center, September 1998. http://dx.doi.org/10.21236/ada353610.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Mixed Logical Dynamical Systems' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography