Search results for "ADHS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Rodrigo D. Castro, Ernesto Kofman, Gabriel A. Wainer	A DEVS - based End-to-end Methodology for Hybrid Control of Embedded Networking Systems.	ADHS	2009	DBLP DOI BibTeX RDF
1	Anders Hultgren, Jan Melin, Per Ranstad	Asymmetric Limit Cycles in an Industrially Applied Controlled Resonant Converter.	ADHS	2009	DBLP DOI BibTeX RDF
1	Djamel E. C. Belkhiat, Nadhir Messai, Noureddine Manamanni	Robust Fault Detection Based-Observer for Linear Switched Systems.	ADHS	2009	DBLP DOI BibTeX RDF
1	Matthias Rungger, Olaf Stursberg	Optimal Control for Deterministic Hybrid Systems using Dynamic Programming.	ADHS	2009	DBLP DOI BibTeX RDF
1	Radouane Kara, Mourad Ahmane, Jean Jacques Loiseau, Saïd Djennoune	Constrained state feedback control of piecewise affine systems.	ADHS	2009	DBLP DOI BibTeX RDF
1	Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn	Interval-based Solving of Hybrid Constraint Systems.	ADHS	2009	DBLP DOI BibTeX RDF
1	Francisco Javier Bejarano, Leonid M. Fridman	Exact Observer for Switching Linear Systems via Super-Twisting Algorithm.	ADHS	2009	DBLP DOI BibTeX RDF
1	Rogelio Mazaeda, César de Prada, Alejandro Merino Gómez, Luis Felipe Acebes Arconada	A Hybrid Object-Oriented Library for the Simulation of Sugar Houses.	ADHS	2009	DBLP DOI BibTeX RDF
1	Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli	Idle Speed control - a Benchmark for Hybrid System Research1.	ADHS	2006	DBLP DOI BibTeX RDF
1	Nelly Olivier, Gilles Hétreux, Jean-Marc Le Lann, Marie-Véronique Le Lann	Use of an Object Oriented Dynamic Hybrid Simulator for the Monitoring of Industrial Processes.	ADHS	2006	DBLP DOI BibTeX RDF
1	Dmitry Gromov, Stephanie Geist, Jörg Raisch	Timed discrete Event control of a Parallel production Line with continuous output.	ADHS	2006	DBLP DOI BibTeX RDF
1	Dirk A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers	Simulation and Verification of Hybrid Systems using Chi.	ADHS	2006	DBLP DOI BibTeX RDF
1	Céline Quémard, Jean-Claude Jolly, Jean-Louis Ferrier	Search for period-2 cycles in a class of Hybrid dynamical Systems with Autonomous switchings. Application to a thermal Device.	ADHS	2006	DBLP DOI BibTeX RDF
1	Laurentiu Hetel, Jamal Daafouz, Claude Iung	Stabilization of switched linear Systems with unknown Time varying delays.	ADHS	2006	DBLP DOI BibTeX RDF
1	Stefan Pettersson	Designing switched observers for switched Systems using Multiple Lyapunov Functions and dwell-Time switching.	ADHS	2006	DBLP DOI BibTeX RDF
1	Edward A. Lee, Haiyang Zheng	Hyvisual: a Hybrid System Modeling Framework based on Ptolemy II.	ADHS	2006	DBLP DOI BibTeX RDF
1	Emília Villani, Paulo E. Miyagi	A Hybrid Approach for Safety Analysis of Aircraft Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Antoine Girard, A. Agung Julius, George J. Pappas	Approximate simulation Relations for Hybrid Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Ibtissem Ben Makhlouf, Stefan Kowalewski	An Evaluation of two Recent Reachability Analysis Tools for Hybrid Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Mariagrazia Dotoli, Maria Pia Fanti, Agostino Marcello Mangini	Modelling Distributed manufacturing Systems via First order Hybrid Petri Nets.	ADHS	2006	DBLP DOI BibTeX RDF
1	Christos G. Cassandras, Michael I. Clune, Pieter J. Mosterman	Hybrid system simulation with SimEvents.	ADHS	2006	DBLP DOI BibTeX RDF
1	A. Giovanni Beccuti, Georgios Papafotiou, Manfred Morari	Explicit Model predictive control of the Boost DC-DC Converter.	ADHS	2006	DBLP DOI BibTeX RDF
1	Fateh Kaakai, Said Hayat, Abdellah El Moudni	Simulation of Railway Stations based on Hybrid Petri Nets.	ADHS	2006	DBLP DOI BibTeX RDF
1	Alessandro Alessio, Alberto Bemporad	Feasible mode Enumeration and Cost Comparison for Explicit quadratic Model predictive control of Hybrid Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Nadhir Messai, Janan Zaytoon, Bernard Riera 0001	Using Neural Networks for the identification of a class of Hybrid Dynamic Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Jennifer M. Davoren, Thomas Moor	Non-Deterministic Reactive Systems, from Hybrid Systems and Behavioural Systems Perspectives.	ADHS	2006	DBLP DOI BibTeX RDF
1	Kirk S. Wesselowski, Christos G. Cassandras	The Elevator dispatching Problem: Hybrid System Modeling and receding horizon control.	ADHS	2006	DBLP DOI BibTeX RDF
1	Mauro Boccadoro, Magnus Egerstedt, Paolo Valigi, Yorai Wardi	Beyond the Construction of Optimal switching surfaces for Autonomous Hybrid Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Tatsuya Suzuki 0001, Shinkichi Inagaki, Naoyuki Yamada	Human Skill Modeling based on stochastic switched dynamics.	ADHS	2006	DBLP DOI BibTeX RDF
1	Dan Henriksson, Anton Cervin, Martin Andersson, Karl-Erik Årzén	Truetime: simulation of Networked Computer control Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Lubomír Bakule	Robust H∞ control of uncertain discrete-Time switching Symmetric Composite Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Gabriela Nicolescu, Faouzi Bouchhima, Luiza Gheorghe	Codis - a Framework for continuous/discrete Systems Co-simulation.	ADHS	2006	DBLP DOI BibTeX RDF
1	Elena De Santis, Maria Domenica Di Benedetto, Giordano Pola	Stabilizability based State Space Reductions for Hybrid Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Gerwald Lichtenberg, Philipp Rostalski	Using Path integral Short Time Propagators for numerical Analysis of stochastic Hybrid Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Othman Nasri, Marie-Anne Lefebvre, Hervé Guéguen	Reachability Computation for uncertain Planar Affine Systems using linear Abstractions.	ADHS	2006	DBLP DOI BibTeX RDF
1	Darine Zambrano, Carlos Bordons, Winston García-Gabín, Eduardo F. Camacho 0001	A solar cooling plant: a Benchmark for Hybrid Systems control.	ADHS	2006	DBLP DOI BibTeX RDF
1	José Claudio Geromel, Patrizio Colaneri	Dynamic output feedback stabilization of continuous-Time switched Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Sylvain Leirens, Jean Buisson	An Efficient Algorithm for predictive control of piecewise Affine Systems with mixed inputs.	ADHS	2006	DBLP DOI BibTeX RDF
1	Luca Ferrarini, Leonardo Ambrosi, Emanuele Ciapessoni	Safety and reliability Analysis of Protection Systems for Power Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Mircea Lazar, W. P. M. H. Heemels	Global input-to-State stability and stabilization of discrete-Time Piece-Wise Affine Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Luigi Iannelli, Karl Henrik Johansson, Ulf T. Jönsson, Francesco Vasca	Subtleties in the averaging of Hybrid Systems with Applications to Power Electronics.	ADHS	2006	DBLP DOI BibTeX RDF
1	Hassan Saadaoui, Mohamed Djemaï, Noureddine Manamanni, Thierry Floquet, Jean-Pierre Barbot	Exact differentiation via sliding mode observer for switched Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Abderazik Birouche, Jamal Daafouz, Claude Iung	Observer Design for a class of discrete Time piecewise-linear Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Komi Midzodzi Pekpe, Stéphane Lecoeuche	Online Classification of switching Models based on subspace Framework.	ADHS	2006	DBLP DOI BibTeX RDF
1	Stefano Di Cairano, Alberto Bemporad, Ilya V. Kolmanovsky, Davor Hrovat	Model predictive control of nonlinear Mechatronic Systems: an Application to a magnetically actuated mass Spring Damper.	ADHS	2006	DBLP DOI BibTeX RDF
1	Jean Thomas, Sorin Olaru, Jean Buisson, Didier Dumur	Robust Model predictive control for piecewise Affine Systems subject to Bounded disturbances.	ADHS	2006	DBLP DOI BibTeX RDF
1	Fabio Bacconi, Alessandro Casavola, Edoardo Mosca	Hybrid constrained formation flying control of micro-satellites.	ADHS	2006	DBLP DOI BibTeX RDF
1	Christopher D. Beers, Eric-Jan Manders, Gautam Biswas, Pieter J. Mosterman	Building Efficient simulations from Hybrid bond Graph Models.	ADHS	2006	DBLP DOI BibTeX RDF
1	M. Kanat Camlibel, Maurice Heemels, Hans Schumacher 0001	Stabilizability of Bimodal piecewise linear Systems with continuous Vector field.	ADHS	2006	DBLP DOI BibTeX RDF
1	Mickael Rodrigues, Didier Theilliol, Dominique Sauter	Fault Tolerant control Design for switched Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Roel A. van den Berg, Alexander Yu. Pogromsky, Jacobus E. Rooda	Convergent Design of switched linear Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Bruno Denis, Jean-Jacques Lesage, Zulema Juárez-Orozco	Performance Verification of discrete Event Systems using Hybrid Model-Checking.	ADHS	2006	DBLP DOI BibTeX RDF
1	Ion Necoara, Ton J. J. van den Boom, Bart De Schutter, Johannes Hellendoorn	Stabilization of Max-plus-linear Systems using receding horizon control - the unconstrained Case.	ADHS	2006	DBLP DOI BibTeX RDF
1	Jim Millan, Siu O'Young	Hybrid System control using an on-Line discrete Event supervisory Strategy.	ADHS	2006	DBLP DOI BibTeX RDF
1	Iliyana Simeonova, François Warichet, Georges Bastin, Denis Dochain, Yves Pochet	Feedback stabilization of the Operation of an Hybrid Chemical plant.	ADHS	2006	DBLP DOI BibTeX RDF
1	Pieter J. L. Cuijpers, Michel A. Reniers	Modeling an Impact control Strategy using Hypa.	ADHS	2006	DBLP DOI BibTeX RDF
1	Jan Lunze	Discrete-Event modelling and Fault Diagnosis of discretely controlled continuous Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Dmitry Gromov, Jörg Raisch	Detecting and Enforcing monotonicity for Hybrid control Systems synthesis.	ADHS	2006	DBLP DOI BibTeX RDF
1	Yoshiyuki Tsuchie, Toshimitsu Ushio	Control-invariance of Sampleddata Hybrid Systems with periodically Clocked Events and jitter.	ADHS	2006	DBLP DOI BibTeX RDF
1	Jing Xu, Laura Recalde, Manuel Silva 0001	Tracking control of Join-Free Timed continuous Petri Net Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Zhongjing Ma, Peter E. Caines, Roland P. Malhamé	Stochastic Hybrid Netcad Systems for Modeling Call Admission and Routing control in Networks.	ADHS	2006	DBLP DOI BibTeX RDF
1	Henrik Axelsson, Mauro Boccadoro, Yorai Wardi, Magnus Egerstedt	Optimal mode-switching for Hybrid Systems with unknown initial State.	ADHS	2006	DBLP DOI BibTeX RDF
1	Christian Sonntag, Olaf Stursberg, Sebastian Engell	Dynamic Optimization of an Industrial evaporator using Graph Search with Embedded nonlinear Programming.	ADHS	2006	DBLP DOI BibTeX RDF
1	Bruno Picasso, Antonio Bicchi	Practical stabilization of discrete - Time linear SISO Systems under Assigned input and output quantization.	ADHS	2006	DBLP DOI BibTeX RDF
1	Vadim Azhmyakov, Jörg Raisch	A Gradient-based Approach to a class of Hybrid Optimal control Problems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Dario Bauso, Franco Blanchini, Raffaele Pesenti	Robust control Strategies for Multi - inventory Systems with Average Flow Constraints.	ADHS	2006	DBLP DOI BibTeX RDF
1	Mircea Lazar, W. P. M. H. Heemels	A New Dual-mode Hybrid MPC Algorithm with a robust stability Guarantee.	ADHS	2006	DBLP DOI BibTeX RDF
1	Manuela-Luminita Bujorianu, Henk A. P. Blom, Holger Hermanns	Functional Abstractions of stochastic Hybrid Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Salim Chaib, Abderraouf Benali, Driss Boutat, Jean-Pierre Barbot	Stabilizing Dynamic controller of switched linear Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon (eds.)	2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006, Alghero, Italy, June 7-9, 2006	ADHS	2006	DBLP BibTeX RDF
1	Panagiotis Kouretas, Konstantinos Koutoumpas, John Lygeros	Parameter identification for piecewise Deterministic Markov Processes: a Case Study on a biochemical Network.	ADHS	2006	DBLP DOI BibTeX RDF
1	Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva 0001	On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics.	ADHS	2006	DBLP DOI BibTeX RDF
1	Björn Bukkems, Jeroen de Best, René van de Molengraft, Maarten Steinbuch	Robust piecewise linear sheet control in a Printer Paper Path.	ADHS	2006	DBLP DOI BibTeX RDF
1	Stefan Ratschan, Jan-Georg Smaus	Verification-Integrated Falsification of non-Deterministic Hybrid Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Claude Iung, Pierre Riedinger	Optimal control in Hybrid Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo	Critical States Detection with Bounded Probability of False Alarm and Application to Air Traffic Management.	ADHS	2006	DBLP DOI BibTeX RDF
1	Giorgio Bartolini, Alessandro Pisano, Elio Usai	On the finite-Time stabilization of a nonlinear uncertain dynamics via switched control.	ADHS	2006	DBLP DOI BibTeX RDF
1	Vadim Utkin, Hoon Lee	Chattering Problem in sliding mode control Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Alberto L. Sangiovanni-Vincentelli	Challenges and Opportunities for System Theory in Embedded controller Design.	ADHS	2006	DBLP DOI BibTeX RDF
1	Daniele Corona, Bart De Schutter	Adaptive Cruise controller Design: a Comparative Assessment for PWA Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Alessandro Abate, Ashish Tiwari 0001	Box invariance of Hybrid and switched Systems.	ADHS	2006	DBLP DOI BibTeX RDF
1	Staffan Haugwitz, Per Hagander	Challenges in Start-up control of a heat Exchange reactor with exothermic Reactions; a Hybrid Approach.	ADHS	2006	DBLP DOI BibTeX RDF
1	Anastasios Trontis, Michael P. Spathopoulos	Hierarchical Control Synthesis for Eventuality Specifications in Hybrid Systems.	ADHS	2003	DBLP DOI BibTeX RDF
1	John Lygeros	Infinite Horizon Minmax Optimal Control: A Viability Approach.	ADHS	2003	DBLP DOI BibTeX RDF
1	Cécile Morvan, Hervé Cormerais, Jean Buisson, Pierre-Yves Richard	Bond Graph Formalism and Linear Complementarity Problem for Hybrid Systems with Ideal Diodes.	ADHS	2003	DBLP DOI BibTeX RDF
1	Sorin C. Bengea, Raymond A. DeCarlo	Conditions for the Existence of a Solution to a Two-Switched/Hybrid Optimal Control Problem.	ADHS	2003	DBLP DOI BibTeX RDF
1	Jacob Barhen, Vladimir A. Protopopescu, Sarit Barhen, Jack C. Wells	Asynchronous Computing and Emergence of Computational Chaos.	ADHS	2003	DBLP DOI BibTeX RDF
1	Henrik Axelsson, Abubakr Muhammad, Magnus Egerstedt	Autonomous Formation Switching for Multiple, Mobile Robots.	ADHS	2003	DBLP DOI BibTeX RDF
1	Henk A. P. Blom	Stochastic Hybrid Processes with Hybrid Jumps.	ADHS	2003	DBLP DOI BibTeX RDF
1	Giordano Pola, Manuela-Luminita Bujorianu, John Lygeros, Maria Domenica Di Benedetto	Stochastic Hybrid Models: An Overview.	ADHS	2003	DBLP DOI BibTeX RDF
1	Stéphane Blouin, Martin Guay, Karen Rudie	Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems.	ADHS	2003	DBLP DOI BibTeX RDF
1	Mariken H. C. Everdij, Henk A. P. Blom	Petri-Nets and Hybrid-State Markov Processes in a Power-Hierarchy of Dependability Models.	ADHS	2003	DBLP DOI BibTeX RDF
1	Jean-Philippe Cassar, Jean Sébastien Guez, Philippe Jacques	A Hybrid Approach for the Monitoring of Physiological State Changes.	ADHS	2003	DBLP DOI BibTeX RDF
1	Jocelyne Perret, Gilles Hétreux, Jean-Marc Le Lann	Object Hybrid Formalism for Modeling and Simulation of Chemical Processes.	ADHS	2003	DBLP DOI BibTeX RDF
1	Antoine Girard	Computation and Stability Analysis of Limit Cycles in Piecewise Linear Hybrid Systems.	ADHS	2003	DBLP DOI BibTeX RDF
1	Bruno Picasso, Stefania Pancanti, Alberto Bemporad, Antonio Bicchi	Receding-Horizon Control of LTI Systems with Quantized Inputs1.	ADHS	2003	DBLP DOI BibTeX RDF
1	Cha Kun Lee, Paul I. Barton	Determining the Optimal Mode Sequence1.	ADHS	2003	DBLP DOI BibTeX RDF
1	Christos G. Cassandras, Reetabrata Mookherjee	Properties of Receding Horizon Controllers for Some Hybrid Systems with Event Uncertainties.	ADHS	2003	DBLP DOI BibTeX RDF
1	Jean Thomas, Jean Buisson, Didier Dumur, Hervé Guéguen	Predictive Control of Hybrid Systems Under a Multi-MLD Formalism.	ADHS	2003	DBLP DOI BibTeX RDF
1	Emília Villani, Jean-Claude Pascal, Paulo E. Miyagi, Robert Valette	Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems.	ADHS	2003	DBLP DOI BibTeX RDF

Publications at "ADHS"( http://dblp.L3S.de/Venues/ADHS )