Filters








54,966 Hits in 8.2 sec

Switching Stabilization and l2 Gain Performance Controller Synthesis for Discrete-Time Switched Linear Systems

Hai Lin, Panos J. Antsaklis
2006 Proceedings of the 45th IEEE Conference on Decision and Control  
In this paper, the switching controller synthesis problem for a class of discrete-time switched linear systems is considered.  ...  Sufficient synthesis conditions are proposed as bilinear matrix inequalities, which are derived based on multiple Lyapunov functions.  ...  The contributions of the paper are twofold. First, switching control law synthesis methods based on multiple Lyapunov functions were extended to discrete-time switched systems.  ... 
doi:10.1109/cdc.2006.377641 dblp:conf/cdc/0002A06 fatcat:4jdzynvue5geneqrv54v3clnmu

Non-blocking Supervisory Control of Timed Automata using Forcible Events

Aida Rashidinejad, Patrick van der Graaf, Michel Reniers, Martin Fabian
2020 IFAC-PapersOnLine  
For many applications, the abstraction of real-time values results in an explosion in the finite state space.  ...  Abstract: Real-valued clocks make the state space of timed automata (TA) infinite. Conventional supervisory control synthesis techniques are only applicable to finite automata (FA).  ...  Based on the model of time (discrete or dense), two types of RTDES have been proposed in the literature: 1. timed discrete-event systems (TDES), and 2. timed automata (TA).  ... 
doi:10.1016/j.ifacol.2021.04.035 fatcat:e5veazupbfetpakpdmuvkqoiye

Special issue on "New approaches for DES modeling, analysis and synthesis"

Jean-Jacques Lesage, José E. R. Cury
2016 Discrete event dynamic systems  
In 2014, we were invited by the Editor-in-Chief of J-DEDS at the time, Xiren Cao, to serve as Guest Editors for a special issue focused on "New approaches for DES modeling, analysis and synthesis", that  ...  In the end, the four papers that were accepted cover a wide range of recent advances and propose new approaches for modeling, verification and control of discrete event systems (DES).  ...  His research interests 65 include formal methods and models for identification, synthesis, analysis and diagnosis of Discrete Event 66 Systems, as well as applications to manufacturing systems, network  ... 
doi:10.1007/s10626-016-0226-5 fatcat:2drenu7lszhphmlen4wur7hpzm

Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings

Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay
2018 IFAC-PapersOnLine  
Abstract: This paper presents a control synthesis algorithm for dynamical systems to satisfy specifications given in a fragment of linear temporal logic.  ...  Abstract: This paper presents a control synthesis algorithm for dynamical systems to satisfy specifications given in a fragment of linear temporal logic.  ...  Abstraction-based techniques, where one creates a finite transition system (FTS) corresponding to the continuous or hybrid system to be controlled, and solves a discrete control synthesis problem, has  ... 
doi:10.1016/j.ifacol.2018.08.004 fatcat:5omyjdz26bfpfiehxg4sm2oucm

Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning

Jonathan A. DeCastro, Vasumathi Raman, Hadas Kress-Gazit
2015 2015 IEEE International Conference on Robotics and Automation (ICRA)  
We circumvent the need to have detailed abstractions for nonlinear systems by proposing a framework for adapting abstractions based on partial solutions to the lowlevel controller synthesis problem.  ...  The contribution of this paper is a reactive synthesis algorithm that makes use of our adaptation procedure to update the high-level strategy each time the non-deterministic discrete abstraction is modified  ...  We also plan to extend our approach to controller synthesis for continuous dynamics that are learned on-the-fly.  ... 
doi:10.1109/icra.2015.7139025 dblp:conf/icra/DeCastroRK15 fatcat:r4rbjo45ovcibpcvgk2eiv2nxq

Concurrent Design of Embedded Control Software

Marcel Groothuis, Raymond Frijns, Jeroen Voeten, Jan Broenink
2009 Electronic Communications of the EASST  
In this paper, we present a case study on the development of the embedded control software for a real-world mechatronic system in order to evaluate how we can integrate concurrent and largely independent  ...  Embedded software design for mechatronic systems is becoming an increasingly time-consuming and error-prone task.  ...  Discrete Event Control Software Design For the design of the discrete event control of the production cell, a top-down approach is used, where initial abstract models are extended with more details in  ... 
doi:10.14279/tuj.eceasst.21.284 dblp:journals/eceasst/GroothuisFVB09 fatcat:b2d762jtlnewlnkxpny4ivxviq

HYBRID SYSTEM CONTROL USING AN ON-LINE DISCRETE EVENT SUPERVISORY STRATEGY

James Millan, Siu O'Young
2006 IFAC Proceedings Volumes  
Discrete event supervisory controller synthesis techniques are used to construct a controller based on a DES speci...cation and the abstracted plant model.  ...  Our modeling framework allows for the e¢ cient online construction of limited lookahead discrete abstractions of the nonlinear continuous dynamics of the plant model.  ...  This scheme is implemented as an online computation, in order for the controller operation to be extended into an in…nite time horizon.  ... 
doi:10.3182/20060607-3-it-3902.00073 fatcat:lmid234y75ezjieavtk4jpvbyy

Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey [article]

Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
2022 arXiv   pre-print
Automated verification and policy synthesis for stochastic hybrid systems can be inherently challenging: this is due to the heterogeneity of their dynamics (presence of continuous and discrete components  ...  stochastic similarity relations, (control) barrier certificates, compositional techniques, and a selection of results on continuous-time stochastic systems; we finally survey recently developed software  ...  We hope that this survey article provides an introduction to the foundations of SHS, towards an easier understanding of many challenges and existing solutions related to formal verification and control  ... 
arXiv:2101.07491v2 fatcat:dpir554ebfclhpj5m7e7fi2hv4

Discrete Controller Synthesis for Infinite State Systems with ReaX

Nicolas Berthier, Hervé Marchand
2014 IFAC Proceedings Volumes  
In this paper, we investigate the control of infinite reactive synchronous systems modeled by arithmetic symbolic transition systems for safety properties.  ...  We provide effective algorithms allowing to solve the safety control problem, and report on experiments based on ReaX, our tool implementing these algorithms.  ...  One can think about the control of Timed Automata (Cassez et al., 2005) , or Vector of Discrete Events Systems (Li and Wohnam, 1994) .  ... 
doi:10.3182/20140514-3-fr-4046.00099 fatcat:tlglt7lngvhipcmkj6bogtctpi

Hybrid System Control Using an On-Line Discrete Event Supervisory Strategy [chapter]

James Millan, Siu O'Young
2006 Analysis and Design of Hybrid Systems 2006  
This scheme is implemented as an online computation, in order for the controller operation to be extended into an in…nite time horizon.  ...  In (Raisch and O'Young 1998) , discrete abstractions based on the truncated time history of discrete-time LTI continuous models were used to synthesize DES supervisory controllers.  ... 
doi:10.1016/b978-008044613-4.50072-0 fatcat:sdluty3b5bbajgtgax6vts6564

Synthesis of switching controllers using approximately bisimilar multiscale abstractions

Javier Cámara, Antoine Girard, Gregor Gössler
2011 Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11  
When available, discrete abstractions provide an appealing approach to controller synthesis.  ...  Recently, an approach for computing discrete abstractions of incrementally stable switched systems has been proposed, using the notion of approximate bisimulation.  ...  If T1 is a system we want to control and T2 is a simpler system that we want to use for controller synthesis, then T2 is called an approximately bisimilar abstraction of T1.  ... 
doi:10.1145/1967701.1967730 dblp:conf/hybrid/CamaraGG11 fatcat:dytit65kcnfxlb4ir3tqiae5vi

On discretization of continuous-time LPV control solutions [article]

Yorick Broens, Hans Butler, Roland Tóth
2022 arXiv   pre-print
Based on these observations, this paper aims at extending the w' discretization approach to LPV systems, such that implementation of CT LPV control solutions on physical hardware is simplified.  ...  In recent years, the Linear Parameter-Varying (LPV) framework has become increasingly useful for analysis and control of time-varying systems.  ...  The main complication of CT synthesis approaches is implementation of the CT LPV control solutions on physical hardware.  ... 
arXiv:2202.03177v2 fatcat:pzahoajk7jfcrjcsuqz7qlvgle

Compositional Abstraction-Based Controller Synthesis for Continuous-Time Systems [article]

Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar
2017 arXiv   pre-print
Controller synthesis techniques for continuous systems with respect to temporal logic specifications typically use a finite-state symbolic abstraction of the system model.  ...  We describe a methodology for compositional symbolic abstraction to help scale controller synthesis for temporal logic to larger systems.  ...  Most works on abstraction based controller synthesis only give guarantees on the closeness of trajectories at sampling instances or discuss only the abstraction of discrete time systems.  ... 
arXiv:1612.08515v3 fatcat:m7rjzdvy2bd6vjcgn7kwetznka

Compositional Synthesis of Finite State Abstractions

Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar
2018 IEEE Transactions on Automatic Control  
Controller synthesis techniques for continuous systems with respect to temporal logic specifications typically use a finite-state symbolic abstraction of the system model.  ...  We describe a methodology for compositional symbolic abstraction to help scale controller synthesis for temporal logic to larger systems.  ...  Let S be a discrete time system andŜ an abstract metric system.  ... 
doi:10.1109/tac.2018.2869740 fatcat:6eykr734wvdzxetxqggttxyn2q

Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems

Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
2018 IFAC-PapersOnLine  
Thus to contribute towards scalability of these techniques, in this paper we propose a compositional abstraction-based synthesis for cascade interconnected discrete-time control systems.  ...  Given a cascade interconnection of several components, we provide results on the compositional construction of finite abstractions based on the notion of approximate cascade composition.  ...  Discrete-time control systems We consider the class of discrete-time control systems as the following: Definition 2.1.  ... 
doi:10.1016/j.ifacol.2018.08.003 fatcat:fm6pq2pz2fghzmzvjz2e4olne4
« Previous Showing results 1 — 15 out of 54,966 results