Tools for modeling, simulation, control, and verification of piecewise affine systems

[1]  Manuel A. Pereira Remelhe,et al.  MODELING AND SIMULATION OF LARGE-SCALE HYBRID SYSTEMS , 2011 .

[2]  Manfred Morari,et al.  Efficient mode enumeration of compositional hybrid systems , 2003, Int. J. Control.

[3]  Nancy A. Lynch,et al.  Verifying average dwell time of hybrid systems , 2008, TECS.

[4]  Janan Zaytoon,et al.  Safety verification and reachability analysis for hybrid systems , 2009, Annu. Rev. Control..

[5]  Wpmh Maurice Heemels,et al.  Introduction to hybrid systems , 2009 .

[6]  Rafal Goebel,et al.  Lyapunov characterization of Zeno behavior in hybrid systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[7]  W. P. M. H. Heemels,et al.  Input-to-state stability and interconnections of discontinuous dynamical systems , 2008, Autom..

[8]  Rafal Goebel,et al.  Zeno behavior in homogeneous hybrid systems , 2008, 2008 47th IEEE Conference on Decision and Control.

[9]  João Pedro Hespanha,et al.  Lyapunov conditions for input-to-state stability of impulsive systems , 2008, Autom..

[10]  Sebastian Engell,et al.  Optimized start-up control of an industrial-scale evaporation system with hybrid dynamics ☆ , 2008 .

[11]  Jan Lunze,et al.  Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems , 2008, HSCC.

[12]  Sumit Kumar Jha,et al.  A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata , 2008, HSCC.

[13]  Alberto Bemporad,et al.  A Control Lyapunov Approach to Predictive Control of Hybrid Systems , 2008, HSCC.

[14]  M. Kanat Camlibel,et al.  Algebraic Necessary and Sufficient Conditions for the Controllability of Conewise Linear Systems , 2008, IEEE Transactions on Automatic Control.

[15]  Darine Zambrano,et al.  Model development and validation of a solar cooling plant , 2008 .

[16]  A. Jadbabaie,et al.  Approximation of the joint spectral radius using sum of squares , 2007, 0712.2887.

[17]  Michal Kvasnica,et al.  Efficient software tools for control and analysis of hybrid systems , 2008 .

[18]  A. Wernrud,et al.  Approximate Dynamic Programming with Applications , 2008 .

[19]  Brian H. Hahn,et al.  Essential Matlab For Engineers And Scientists , 2008 .

[20]  Sebastian Engell,et al.  Hybrid NMPC of a Supermarket Refrigeration System Using Sequential Optimization , 2008 .

[21]  Jamal Daafouz,et al.  On stability analysis of linear discrete-time switched systems using quadratic Lyapunov functions , 2007, 2007 46th IEEE Conference on Decision and Control.

[22]  Alberto Bemporad,et al.  Suboptimal model predictive control of hybrid systems based on mode-switching constraints , 2007, 2007 46th IEEE Conference on Decision and Control.

[23]  Olaf Stursberg,et al.  Hybrid Nonlinear Model-Predictive Control of a Supermarket Refrigeration System , 2007, 2007 IEEE International Conference on Control Applications.

[24]  Rafal Goebel,et al.  Hybrid Feedback Control and Robust Stabilization of Nonlinear Systems , 2007, IEEE Transactions on Automatic Control.

[25]  Robert Shorten,et al.  Stability Criteria for Switched and Hybrid Systems , 2007, SIAM Rev..

[26]  Alberto Bemporad,et al.  Model predictive control of magnetically actuated mass spring dampers for automotive applications , 2007, Int. J. Control.

[27]  Antonio Bicchi,et al.  On the Stabilization of Linear Systems Under Assigned I/O Quantization , 2007, IEEE Transactions on Automatic Control.

[28]  Andreas Podelski,et al.  Region Stability Proofs for Hybrid Systems , 2007, FORMATS.

[29]  Jong-Shi Pang,et al.  Semicopositive linear complementarity systems , 2007 .

[30]  A. Juloski,et al.  Observer design for a class of piecewise linear systems , 2007 .

[31]  George J. Pappas,et al.  A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates , 2007, IEEE Transactions on Automatic Control.

[32]  Guisheng Zhai,et al.  Stabilizability and Practical Stabilizability of Continuous-Time Switched Systems: A Unified View , 2007, 2007 American Control Conference.

[33]  Daniel Sarabia,et al.  Hybrid Control of a Supermarket Refrigeration Systems , 2007, 2007 American Control Conference.

[34]  Chaohong Cai,et al.  Smooth Lyapunov Functions for Hybrid Systems—Part I: Existence Is Equivalent to Robustness , 2007, IEEE Transactions on Automatic Control.

[35]  Rafael Wisniewski,et al.  Supermarket refrigeration system - Benchmark for hybrid system control , 2007, 2007 European Control Conference (ECC).

[36]  Stefano Soatto,et al.  Applications of hybrid system identification in computer vision , 2007, 2007 European Control Conference (ECC).

[37]  Geir E. Dullerud,et al.  Uniformly Stabilizing Sets of Switching Sequences for Switched Linear Systems , 2007, IEEE Transactions on Automatic Control.

[38]  Dragan Nesic,et al.  Input-to-State Stabilization of Linear Systems With Quantized State Measurements , 2007, IEEE Transactions on Automatic Control.

[39]  Lei Bu,et al.  Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming , 2007, BMC@FLoC.

[40]  Luigi del Re,et al.  Predictive Control of a Diesel Engine Air Path , 2007, IEEE Transactions on Control Systems Technology.

[41]  Jan Lunze,et al.  Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces , 2007, HSCC.

[42]  A. Podelski,et al.  A Sound and Complete Proof Rule for Region Stability of Hybrid Systems , 2007, HSCC.

[43]  Sumit Kumar Jha,et al.  Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction , 2007, HSCC.

[44]  Robin J. Evans,et al.  Feedback Control Under Data Rate Constraints: An Overview , 2007, Proceedings of the IEEE.

[45]  V. Blondel,et al.  On the finiteness property for rational matrices , 2007, math/0702489.

[46]  Pravin Varaiya,et al.  Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems , 2007, IEEE Transactions on Automatic Control.

[47]  Andreas Podelski,et al.  ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement , 2007, PADL.

[48]  Goran Frehse,et al.  PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.

[49]  César de Prada,et al.  OPTIMAL START-UP OF AN EVAPORATION STATION , 2007 .

[50]  Jacob Roll,et al.  PWAID : Piecewise affine system identification toolbox , 2007 .

[51]  Johan Åkesson,et al.  Dynamic optimization of a plate reactor start-up supported by Modelica-based code generation software , 2007 .

[52]  Jan C. Willems,et al.  Dissipative Dynamical Systems , 2007, Eur. J. Control.

[53]  René Vidal,et al.  Identification of Hybrid Systems: A Tutorial , 2007, Eur. J. Control.

[54]  R.B. Vinter,et al.  A Maximum Principle for Hybrid Optimal Control Problems with Pathwise State Constraints , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[55]  K.H. Johansson,et al.  Distributed and Collaborative Estimation over Wireless Sensor Networks , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[56]  Claudio De Persis,et al.  Discontinuous stabilization of nonlinear systems: Quantized and switching controls , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[57]  Maria Prandini,et al.  Stochastic Reachability: Theory and Numerical Approximation , 2006 .

[58]  Henk A. P. Blom,et al.  Stochastic differential equations on hybrid state spaces , 2006 .

[59]  Alberto Bemporad,et al.  Stabilizing Model Predictive Control of Hybrid Systems , 2006, IEEE Transactions on Automatic Control.

[60]  Joost P. Katoen,et al.  Stochastic model checking , 2006 .

[61]  M. D. Di Benedetto,et al.  Digital idle speed control of automotive engines: A safety problem for hybrid systems , 2006 .

[62]  M. Kanat Camlibel,et al.  Conewise Linear Systems: Non-Zenoness and Observability , 2006, SIAM J. Control. Optim..

[63]  D. Hrovat,et al.  Hybrid Model Predictive Control of Direct Injection Stratified Charge Engines , 2006, IEEE/ASME Transactions on Mechatronics.

[64]  Claudio De Persis,et al.  Nonlinear stabilizability via encoded feedback: The case of integral ISS systems , 2006, Autom..

[65]  Jörg Raisch,et al.  Learning by doing: systematic abstraction refinement for hybrid control synthesis , 2006 .

[66]  P. I. Barton,et al.  Global methods for dynamic optimization and mixed-integer dynamic optimization , 2006 .

[67]  Xuerong Mao,et al.  Stochastic Differential Equations With Markovian Switching , 2006 .

[68]  Wassim M. Haddad,et al.  Impulsive and Hybrid Dynamical Systems: Stability, Dissipativity, and Control , 2006 .

[69]  Emmanuel Trélat,et al.  Quasi-Optimal Robust Stabilization of Control Systems , 2006, SIAM J. Control. Optim..

[70]  Bart De Schutter,et al.  Min-Max Model Predictive Control for Uncertain Max-Min-Plus-Scaling Systems , 2006, 2006 8th International Workshop on Discrete Event Systems.

[71]  J. Geromel,et al.  Stability and stabilization of discrete time switched systems , 2006 .

[72]  John Lygeros,et al.  Toward a General Theory of Stochastic Hybrid Systems , 2006 .

[73]  Alberto L. Sangiovanni-Vincentelli,et al.  Languages and Tools for Hybrid Systems Design , 2006, Found. Trends Electron. Des. Autom..

[74]  Antonio Bicchi,et al.  Probabilistic verification of a decentralized policy for conflict resolution in multi-agent systems , 2006, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006..

[75]  Mario Vasak,et al.  Constrained optimal control of an electronic throttle , 2006 .

[76]  Lorenz T. Biegler,et al.  On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming , 2006, Math. Program..

[77]  Vincent D. Blondel,et al.  Efficient algorithms for deciding the type of growth of products of integer matrices , 2006, ArXiv.

[78]  Rafal Goebel,et al.  Solutions to hybrid inclusions via set and graphical convergence with stability theory applications , 2006, Autom..

[79]  Alberto L. Sangiovanni-Vincentelli,et al.  Interchange Format for Hybrid Systems: Abstract Semantics , 2006, HSCC.

[80]  Andreas Podelski,et al.  Model Checking of Hybrid Systems: From Reachability Towards Stability , 2006, HSCC.

[81]  J. Christian Gerdes,et al.  Modeling cycle-to-cycle dynamics and mode transition in HCCI engines with variable valve actuation , 2006 .

[82]  Andreas Wernrud,et al.  Computation of approximate value functions for constrained control problems , 2006 .

[83]  A. Juloski,et al.  A BAYESIAN APPROACH TO THE IDENTIFICATION OF PIECEWISE LINEAR OUTPUT ERROR MODELS , 2006 .

[84]  M. Diehl,et al.  Numerical Methods for Optimal Control with Binary Control Functions Applied to a Lotka-Volterra Type Fishing Problem , 2006 .

[85]  C. Abdallah,et al.  Recent techniques for the identification of piecewise affine and hybrid systems , 2006 .

[86]  Antonio Bicchi,et al.  Decentralized and Scalable Conflict Resolution Strategy for Multi-Agents Systems , 2006 .

[87]  Mircea Lazar,et al.  Model predictive control of hybrid systems : stability and robustness , 2006 .

[88]  Zhiwu Li,et al.  ON SUPERVISORY CONTROL OF A CLASS OF DISCRETE EVENT SYSTEMS , 2006 .

[89]  Pieter J. Mosterman,et al.  Hybrid system simulation with SimEvents , 2006, ADHS.

[90]  Eduardo F. Camacho,et al.  A solar cooling plant: a Benchmark for Hybrid Systems control , 2006, ADHS.

[91]  Jianghai Hu,et al.  A stochastic approximation method for reachability computations , 2006 .

[92]  Olaf Stursberg,et al.  OPTIMIZING HYBRID DYNAMIC PROCESSES BY EMBEDDING GENETIC ALGORITHMS INTO MPC , 2006 .

[93]  Ka Lok Man,et al.  Formal specification and analysis of hybrid systems , 2006 .

[94]  Maria Domenica Di Benedetto,et al.  Critical Observability of a Class of Hybrid Systems and Application to Air Traffic Management , 2006 .

[95]  Mihaly Petreczky,et al.  ConPAHS - a software package for control of piecewise-affine hybrid systems , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[96]  Vincent Acary,et al.  On the equivalence between complementarity systems, projected systems and differential inclusions , 2006, Syst. Control. Lett..

[97]  Ya-Jun Pan,et al.  Remote Stabilization of Networked Control Systems with Unknown Time Varying Delays by LMI Techniques , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[98]  J. Polderman,et al.  Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[99]  Lihua Xie,et al.  The sector bound approach to quantized feedback control , 2005, IEEE Transactions on Automatic Control.

[100]  Mato Baotic,et al.  Stabilizing low complexity feedback control of constrained piecewise affine systems , 2005, Autom..

[101]  J. Hespanha.  A model for stochastic hybrid systems with application to communication networks , 2005 .

[102]  Biniam Gebremichael,et al.  Specifying urgency in timed I/O automata , 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).

[103]  Jong-Shi Pang,et al.  Linear Complementarity Systems: Zeno States , 2005, SIAM J. Control. Optim..

[104]  Andrey V. Savkin,et al.  Multirate Stabilization of Linear Multiple Sensor Systems via Limited Capacity Communication Channels , 2005, SIAM J. Control. Optim..

[105]  S. Neema,et al.  Computing finitely reachable containable region for switching systems , 2005 .

[106]  H.E. Tseng,et al.  Hybrid Model Predictive Control Application Towards Optimal Semi-Active Suspension , 2005, Proceedings of the IEEE International Symposium on Industrial Electronics, 2005. ISIE 2005..

[107]  João Pedro Hespanha,et al.  Stabilization of nonlinear systems with limited information feedback , 2005, IEEE Transactions on Automatic Control.

[108]  G.M. Shaver,et al.  Decoupled control of combustion timing and work output in residual-affected HCCI engines , 2005, Proceedings of the 2005, American Control Conference, 2005..

[109]  M. Lazar,et al.  On the stability of quadratic forms based model predictive control of constrained PWA systems , 2005, Proceedings of the 2005, American Control Conference, 2005..

[110]  Nikolaos V. Sahinidis,et al.  A polyhedral branch-and-cut approach to global optimization , 2005, Math. Program..

[111]  Qiang Ling,et al.  Stability of quantized control systems under dynamic bit assignment , 2005, IEEE Transactions on Automatic Control.

[112]  Mauro Garavello,et al.  Hybrid Necessary Principle , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[113]  Manuel A. Pereira Remelhe,et al.  Combining Modelica Models with Discrete Event Formalisms for Simulation Using the Des/M Environmentc , 2005, Int. J. Softw. Eng. Knowl. Eng..

[114]  René Vidal,et al.  Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties , 2005, HSCC.

[115]  Antoine Girard,et al.  Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.

[116]  Alberto Bemporad,et al.  Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems , 2005, HSCC.

[117]  Edward A. Lee,et al.  Operational Semantics of Hybrid Systems , 2005, HSCC.

[118]  W. P. M. H. Heemels,et al.  Comparison of Four Procedures for the Identification of Hybrid Systems , 2005, HSCC.

[119]  Jean Buisson,et al.  On the Stabilisation of Switching Electrical Power Converters , 2005, HSCC.

[120]  Lars Grüne,et al.  A set oriented approach to optimal feedback stabilization , 2005, Syst. Control. Lett..

[121]  W. P. M. H. Heemels,et al.  A Bayesian approach to identification of hybrid systems , 2004, IEEE Transactions on Automatic Control.

[122]  Kiyotsugu Takaba,et al.  Identification of piecewise affine systems based on statistical clustering technique , 2004, Autom..

[123]  Christophe Prieur,et al.  Asymptotic Controllability and Robust Asymptotic Stabilizability , 2001, SIAM J. Control. Optim..

[124]  Jean Buisson,et al.  A GENERIC PASSIVITY BASED CONTROL FOR MULTICELLULAR SERIAL CONVERTERS , 2005 .

[125]  Fredrik Gustafsson,et al.  Mobile Positioning Using Wireless Networks , 2005 .

[126]  Goran Frehse,et al.  Compositional verification of hybrid systems using simulation relations , 2005 .

[127]  Tobias Geyer,et al.  Low complexity model predictive control in power electronics and power systems , 2005 .

[128]  John Baillieul,et al.  Handbook of Networked and Embedded Control Systems , 2005, Handbook of Networked and Embedded Control Systems.

[129]  N. Wouw,et al.  Convergent piecewise affine systems: analysis and design Part I: continuous case , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[130]  S. Pettersson.  Switched State Jump Observers for Switched Systems , 2005 .

[131]  Eberhard Münz,et al.  CONTINUOUS OPTIMIZATION APPROACHES TO THE IDENTIFICATION OF PIECEWISE AFFINE SYSTEMS , 2005 .

[132]  Jörg Raisch,et al.  HIERARCHICAL HYBRID CONTROL OF A MULTIPRODUCT BATCH PLANT , 2005 .

[133]  Tobias Geyer,et al.  HYBRID MODEL PREDICTIVE CONTROL IN SUPERMARKET REFRIGERATION SYSTEMS , 2005 .

[134]  L. Grigorov.  Hierarchical control of discrete-event systems , 2005 .

[135]  Leonid Mirkin,et al.  Control Issues in Systems with Loop Delays , 2005, Handbook of Networked and Embedded Control Systems.

[136]  Karl Henrik Johansson,et al.  Vehicle Applications of Controller Area Network , 2005, Handbook of Networked and Embedded Control Systems.

[137]  A. Tzes,et al.  Experimental controller tuning and QoS optimization of a wireless transmission scheme for real-time remote control applications , 2004, 2004 IEEE International Conference on Industrial Technology, 2004. IEEE ICIT '04..

[138]  Daniel Liberzon,et al.  Stability of hybrid automata with average dwell time: an invariant approach , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[139]  Harald Heinecke,et al.  AUTomotive Open System ARchitecture - An Industry-Wide Initiative to Manage the Complexity of Emerging Automotive E/E-Architectures , 2004 .

[140]  Olaf Stursberg,et al.  Applied Hybrid System Optimization: An Empirical Investigation of Complexity ? , 2004 .

[141]  A. Juloski,et al.  Data-based hybrid modelling of the component placement process in pick-and-place machines , 2004 .

[142]  Oliver Stein,et al.  Continuous reformulations of discrete-continuous optimization problems , 2004, Comput. Chem. Eng..

[143]  Sekhar Tatikonda,et al.  Stochastic linear control over a communication channel , 2004, IEEE Transactions on Automatic Control.

[144]  Johan Löfberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004 .

[145]  J. Hespanha,et al.  Hybrid systems: Generalized solutions and robust stability , 2004 .

[146]  R. Tempo,et al.  Randomized Algorithms for Analysis and Control of Uncertain Systems , 2004 .

[147]  Andrew R. Teel,et al.  Smooth Lyapunov functions and robustness of stability for difference inclusions , 2004, Syst. Control. Lett..

[148]  Sekhar Tatikonda,et al.  Control under communication constraints , 2004, IEEE Transactions on Automatic Control.

[149]  Jorge Goncalves,et al.  Drosophila circadian rhythms: stability robustness analysis and model reduction , 2004 .

[150]  Bart De Schutter,et al.  MPC for continuous piecewise-affine systems , 2004, Syst. Control. Lett..

[151]  Alberto L. Sangiovanni-Vincentelli,et al.  Benefits and challenges for platform-based design , 2004, Proceedings. 41st Design Automation Conference, 2004..

[152]  D. Maksimovic,et al.  Impact of digital control in power electronics , 2004, 2004 Proceedings of the 16th International Symposium on Power Semiconductor Devices and ICs.

[153]  Pieter J. Mosterman,et al.  Computer-automated multiparadigm modeling in control systems technology , 2004, IEEE Transactions on Control Systems Technology.

[154]  Mato Baotic,et al.  Multi-Parametric Toolbox (MPT) , 2004, HSCC.

[155]  Jan H. van Schuppen,et al.  Observability of Piecewise-Affine Hybrid Systems , 2004, HSCC.

[156]  Manuela L. Bujorianu,et al.  Extended Stochastic Hybrid Systems and Their Reachability Problem , 2004, HSCC.

[157]  G. Goodwin,et al.  Finite constraint set receding horizon quadratic control , 2004 .

[158]  Alberto Bemporad,et al.  HYSDEL-a tool for generating computational hybrid models for analysis and synthesis problems , 2004, IEEE Transactions on Control Systems Technology.

[159]  Robin J. Evans,et al.  Stabilizability of Stochastic Linear Systems with Finite Feedback Data Rates , 2004, SIAM J. Control. Optim..

[160]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[161]  Panos J. Antsaklis,et al.  Optimal control of switched systems based on parameterization of the switching instants , 2004, IEEE Transactions on Automatic Control.

[162]  O. Stursberg,et al.  A graph search algorithm for optimal control of hybrid systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[163]  F. Vasca,et al.  Modelling switching power converters as complementarity systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[164]  Christopher K. King,et al.  A singularity test for the existence of common quadratic Lyapunov functions for pairs of stable LTI systems , 2004, Proceedings of the 2004 American Control Conference.

[165]  S. Paoletti.  IDENTIFICATION OF PIECEWISE AFFINE MODELS , 2004 .

[166]  R. Vidal.  Identification of PWARX hybrid models with unknown and possibly different orders , 2004, Proceedings of the 2004 American Control Conference.

[167]  L. Palopoli,et al.  Control of distributed embedded systems in the presence of unknown-but-bounded noise , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[168]  A. Goldsmith,et al.  Wireless network design for distributed control , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[169]  Alberto Bemporad,et al.  Identification of piecewise affine systems via mixed-integer programming , 2004, Autom..

[170]  A. Bagchi,et al.  Approximation of first passage times of switching diffusion , 2004 .

[171]  G. Frehse,et al.  Assume-guarantee reasoning for hybrid I/O-automata by over-approximation of continuous interaction , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[172]  A. Goldsmith,et al.  Wireless medium access control in networked control systems , 2004, Proceedings of the 2004 American Control Conference.

[173]  Mato Baotic,et al.  Multi-object Adaptive Cruise Control , 2008, HSCC.

[174]  M. Morari,et al.  Computation of the constrained infinite time linear quadratic regulator , 2004, Proceedings of the 2003 American Control Conference, 2003..

[175]  M. Morari,et al.  Robust Receding Horizon Control - analysis & synthesis , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[176]  Manfred Morari,et al.  Complexity reduction of receding horizon control , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[177]  S. Sastry,et al.  An algebraic geometric approach to the identification of a class of linear hybrid systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[178]  E. De Santis,et al.  On observability and detectability of continuous-time linear switching systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[179]  John Lygeros,et al.  Stochastic reachability for discrete time systems: an application to aircraft collision avoidance , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[180]  W. P. M. H. Heemels,et al.  On solution concepts and well-posedness of linear relay systems , 2003, Autom..

[181]  Lorenz T. Biegler,et al.  Mathematical programs with equilibrium constraints (MPECs) in process engineering , 2003, Comput. Chem. Eng..

[182]  Y. Tipsuwan,et al.  Control methodologies in networked control systems , 2003 .

[183]  Munther A. Dahleh,et al.  Global analysis of piecewise linear systems using impact maps and surface Lyapunov functions , 2003, IEEE Trans. Autom. Control..

[184]  Maria Prandini,et al.  Aircraft conflict detection: A method for computing the probability of conflict based on Markov chain approximation , 2003, 2003 European Control Conference (ECC).

[185]  Manfred Morari,et al.  Hybrid emergency voltage control in power systems , 2003, 2003 European Control Conference (ECC).

[186]  A. Schaft,et al.  Switched networks and complementarity , 2003 .

[187]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

[188]  J. Maciejowski,et al.  Robustly stable feedback min-max model predictive control , 2003, Proceedings of the 2003 American Control Conference, 2003..

[189]  Antoine Girard,et al.  Computation and Stability Analysis of Limit Cycles in Piecewise Linear Hybrid Systems , 2003, ADHS.

[190]  Jörg Raisch,et al.  Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems1 , 2003, ADHS.

[191]  Alberto Bemporad,et al.  Receding-Horizon Control of LTI Systems with Quantized Inputs1 , 2003, ADHS.

[192]  John Lygeros,et al.  Stochastic Hybrid Models: An Overview , 2003, ADHS.

[193]  Jan Willem Polderman,et al.  Stability Analysis for Hybrid Automata Using Conservative Gains , 2003, ADHS.

[194]  Alberto Bemporad,et al.  Evaluation of piecewise affine control via binary search tree , 2003, Autom..

[195]  John Lygeros,et al.  Reachability Questions in Piecewise Deterministic Markov Processes , 2003, HSCC.

[196]  S. Shankar Sastry,et al.  Observability of Linear Hybrid Systems , 2003, HSCC.

[197]  Arjan van der Schaft,et al.  Modelling, Well-Posedness, Stability of Switched Electrical Networks , 2003, HSCC.

[198]  M. Johansson,et al.  Piecewise Linear Control Systems , 2003 .

[199]  Johannes P. Schlöder,et al.  An efficient multiple shooting based reduced SQP strategy for large-scale dynamic process optimization: Part II: Software aspects and applications , 2003, Comput. Chem. Eng..

[200]  George J. Vachtsevanos,et al.  Software technology for implementing reusable, distributed control systems , 2003 .

[201]  Karl Henrik Johansson,et al.  Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..

[202]  Marcus Rubensson,et al.  Stability Properties of Switched Dynamical Systems A Linear Matrix Inequality Approach , 2003 .

[203]  Ryan J. Leduc,et al.  Hierarchical Interface-based Supervisory Control , 2003 .

[204]  Bengt Lennartson,et al.  Stability Analysis of Hybrid Systems -A Gearbox Application , 2003 .

[205]  Peter F. Al-Hokayem.  Stability Analysis of Networked Control Systems , 2003 .

[206]  Bo Lincoln,et al.  Dynamic Programming and Time-Varying Delay Systems , 2003 .

[207]  Adam Wolisz,et al.  A Service-Based Universal Application Interface for Ad-hoc Wireless Sensor Networks , 2003 .

[208]  Colin Stirling,et al.  Bisimulation and Language Equivalence , 2003, Logic for Concurrency and Synchronisation.

[209]  D. Mayne,et al.  Optimal control of constrained piecewise affine discrete time systems using reverse transformation , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[210]  Jamal Daafouz,et al.  Stability analysis and control synthesis for switched systems: a switched Lyapunov function approach , 2002, IEEE Trans. Autom. Control..

[211]  J. M. Davoren,et al.  Robust hybrid control from a behavioural perspective , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[212]  D. Mayne,et al.  Optimal control of constrained, piecewise affine systems with bounded disturbances , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[213]  A. Astolfi,et al.  Robust stabilization of chained systems via hybrid control , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[214]  Robert Shorten,et al.  Necessary and sufficient conditions for the existence of a common quadratic Lyapunov function for a finite number of stable second order linear time‐invariant systems , 2002 .

[215]  Anders Rantzer,et al.  Convex dynamic programming for hybrid systems , 2002, IEEE Trans. Autom. Control..

[216]  Grant Martin,et al.  Guest Editor's Introduction: The Reuse of Complex Architectures , 2002, IEEE Des. Test Comput..

[217]  Jochen Schroder,et al.  Modelling, State Observation, and Diagnosis of Quantised Systems , 2002 .

[218]  Jan M. Maciejowski,et al.  Predictive control : with constraints , 2002 .

[219]  Alberto Bemporad,et al.  HYSDEL 2.0. 5- User manual , 2002 .

[220]  I. Grossmann.  Review of Nonlinear Mixed-Integer and Disjunctive Programming Techniques , 2002 .

[221]  Johannes Schumacher,et al.  Existence and uniqueness of solutions for a class of piecewise linear dynamical systems , 2002 .

[222]  W. Heemels,et al.  Consistency of a time-stepping method for a class of piecewise-linear networks , 2002 .

[223]  W. Heemels,et al.  On the dynamic analysis of piecewise-linear networks , 2002 .

[224]  Insup Lee,et al.  Distributed simulation of multi-agent hybrid systems , 2002, Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002.

[225]  A. Michel,et al.  Qualitative analysis of discrete-time switched systems , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[226]  P. I. Barton,et al.  Symbolic Incorporation of External Procedures into Process Modeling Environments , 2002 .

[227]  Shuzhi Sam Ge,et al.  Controllability and reachability criteria for switched linear systems , 2002, Autom..

[228]  J. Buisson,et al.  Analysis of the bond graph model of hybrid physical systems with ideal switches , 2002 .

[229]  Pieter J. Mosterman,et al.  HYBRSIM—a modelling and simulation environment for hybrid bond graphs , 2002 .

[230]  Robert Shorten,et al.  On the 45° -Region and the uniform asymptotic stability of classes of second order parameter-varying and switched systems , 2002 .

[231]  José Rufino,et al.  An Overview of the Controller Area Network , 2002 .

[232]  A. V. Pukhlikov,et al.  Discontinuous Dynamical Systems in Optimal Control Theory , 2002 .

[233]  Jörg Raisch,et al.  Think continuous, act discrete: des techniques for continuous systems , 2002 .

[234]  M. Kanat Camlibel,et al.  On Linear Passive Complementarity Systems , 2002, Eur. J. Control.

[235]  Jörg Raisch,et al.  Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations , 2002, Discret. Event Dyn. Syst..

[236]  Maria Domenica Di Benedetto,et al.  Nonlinear and Hybrid Systems in Automotive Control , 2002 .

[237]  Grant Martin,et al.  The Future of High-Level Modelling and System Level Design : Some Possible Methodology Scenarios , 2002 .

[238]  T. Johansen,et al.  An algorithm for multi-parametric quadratic programming and explicit MPC solutions , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[239]  Jan Lunze,et al.  Representation of Hybrid Systems by Means of Stochastic Automata , 2001 .

[240]  Jan Lunze,et al.  State Observation and Diagnosis of Discrete-Event Systems Described by Stochastic Automata , 2001, Discret. Event Dyn. Syst..

[241]  J. H. Schuppen,et al.  A controllability result for piecewise-linear hybrid systems , 2001, 2001 European Control Conference (ECC).

[242]  Glenn Fung,et al.  Proximal support vector machine classifiers , 2001, KDD '01.

[243]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

[244]  Linda Bushnell,et al.  Asymptotic behavior of nonlinear networked control systems , 2001, IEEE Trans. Autom. Control..

[245]  Bruce A. Francis,et al.  Stabilizing a linear system by switching control with dwell time , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[246]  Nicola Guglielmi,et al.  On the zero-stability of variable stepsize multistep methods: the spectral radius approach , 2001, Numerische Mathematik.

[247]  Christos G. Cassandras,et al.  Forward decomposition algorithms for optimal control of a class of hybrid systems , 2001 .

[248]  S. Sastry,et al.  Zeno hybrid systems , 2001 .

[249]  Nancy A. Lynch,et al.  Hybrid I/O Automata Revisited , 2001, HSCC.

[250]  Bengt Johansson,et al.  Closed-Loop Control of an HCCI Engine , 2001 .

[251]  Ian A. Hiskens,et al.  Stability of limit cycles in hybrid systems , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[252]  Michael Tiller,et al.  Introduction to Physical Modeling with Modelica , 2001 .

[253]  K. Keutzer,et al.  System-level design: orthogonalization of concerns andplatform-based design , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[254]  B. I. Silva,et al.  Modeling and Verifying Hybrid Dynamic Systems Using CheckMate , 2001 .

[255]  Wei Zhang,et al.  Stability of networked control systems , 2001 .

[256]  Edward A. Lee,et al.  Overview of the Ptolemy project , 2001 .

[257]  B. Schutter,et al.  Model predictive control for max-min-plus-scaling systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[258]  Karl Henrik Johansson,et al.  Structural stability of hybrid systems , 2001 .

[259]  Xuping Xu,et al.  A dynamic programming approach for optimal control of switched systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[260]  M. Morari,et al.  Stability and stabilization of piecewise affine and hybrid systems: an LMI approach , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[261]  Kemin Zhou,et al.  Robust stability and performance of uncertain delay systems with structured uncertainties , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[262]  John Lygeros,et al.  A probabilistic approach to aircraft conflict detection , 2000, IEEE Trans. Intell. Transp. Syst..

[263]  J. L. Mancilla-Aguilar,et al.  A converse Lyapunov theorem for nonlinear switched systems , 2000 .

[264]  Jun-ichi Imura,et al.  Characterization of well-posedness of piecewise-linear systems , 2000, IEEE Trans. Autom. Control..

[265]  P.J. Antsaklis,et al.  Supervisory control of hybrid systems , 2000, Proceedings of the IEEE.

[266]  Wei Zhang,et al.  Stability of networked control systems: explicit analysis of delay , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[267]  A. Hassibi,et al.  Control with random communication delays via a discrete-time jump system approach , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[268]  Paul H. Siegel,et al.  On codes that avoid specified differences , 2000, 2000 IEEE International Symposium on Information Theory (Cat. No.00CH37060).

[269]  W. Beyn,et al.  Stability and paracontractivity of discrete linear inclusions , 2000 .

[270]  Nick Jenkins,et al.  Embedded Generation (Power & Energy Ser. 31) , 2000 .

[271]  Jan Lunze,et al.  Diagnosis of Quantised Systems , 2000 .

[272]  James B. Rawlings,et al.  Tutorial overview of model predictive control , 2000 .

[273]  Pieter J. Mosterman,et al.  Hybrid Models of Physical Systems and Discrete Controllers , 2000 .

[274]  David Q. Mayne,et al.  Constrained model predictive control: Stability and optimality , 2000, Autom..

[275]  P. I. Barton,et al.  DAEPACK: An Open Modeling Environment for Legacy Models , 2000 .

[276]  W. P. M. H. Heemels,et al.  Linear Complementarity Systems , 2000, SIAM J. Appl. Math..

[277]  S. Shankar Sastry,et al.  O-Minimal Hybrid Systems , 2000, Math. Control. Signals Syst..

[278]  Bart De Schutter,et al.  Optimal Control of a Class of Linear Hybrid Systems with Saturation , 1999, SIAM J. Control. Optim..

[279]  W. P. M. H. Heemels,et al.  Projected dynamical systems in a complementarity formalism , 1999, Oper. Res. Lett..

[280]  P. Morin,et al.  Robust stabilization of driftless systems with hybrid open-loop/feedback control , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[281]  Johannes Schumacher,et al.  Well-posedness of a class of linear networks with ideal diodes , 2000 .

[282]  H. Kushner.  Numerical Methods for Stochastic Control Problems in Continuous Time , 2000 .

[283]  S. Sastry,et al.  Towars a Theory of Stochastic Hybrid Systems , 2000, HSCC.

[284]  B. Piccoli.  Necessary conditions for hybrid optimization , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[285]  C. Iung,et al.  Linear quadratic optimization for hybrid systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[286]  A. Morse,et al.  Stability of switched systems with average dwell-time , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[287]  A. Rantzer,et al.  Optimal control of hybrid systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[288]  Panos J. Antsaklis,et al.  Stabilization of second-order LTI switched systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[289]  J.P. Hespanha,et al.  Towards the supervisory control of uncertain nonholonomic systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[290]  Jörg Raisch,et al.  Supervisory control of hybrid systems within a behavioural framework , 1999 .

[291]  M. Egerstedt,et al.  On the regularization of Zeno hybrid automata , 1999 .

[292]  A. Morse,et al.  Basic problems in stability and design of switched systems , 1999 .

[293]  Yu. S. Ledyaev,et al.  A Lyapunov characterization of robust stabilization , 1999 .

[294]  T. Tsubone,et al.  Manifold Piecewise Constant Systems and Chaos , 1999 .

[295]  Jay H. Lee,et al.  Model predictive control: past, present and future , 1999 .

[296]  Wing Shing Wong,et al.  Systems with finite communication bandwidth constraints. II. Stabilization with limited information feedback , 1999, IEEE Trans. Autom. Control..

[297]  Robin J. Evans,et al.  Stability results for switched controller systems , 1999, Autom..

[298]  Pieter J. Mosterman,et al.  An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages , 1999, HSCC.

[299]  Jan Lunze,et al.  Deterministic discrete-event representations of linear continuous-variable systems , 1999, Autom..

[300]  Jun-ichi Imura,et al.  Well-posedness of a class of dynamically interconnected systems , 1999 .

[301]  João Pedro Hespanha,et al.  Stabilization of nonholonomic integrators via logic-based switching , 1999, Autom..

[302]  J. Lunze.  A timed discrete-event abstraction of continuous-variable systems , 1999 .

[303]  Jan Lunze,et al.  Prozeßdiagnose mittels qualitativer Modelle am Beispiel eines Was ser Stoffverdichter s , 1999 .

[304]  Jan Lunze,et al.  Process Diagnosis Based on a Discrete-Event Description , 1999 .

[305]  Arjan van der Schaft,et al.  An Introduction to Hybrid Dynamical Systems, Springer Lecture Notes in Control and Information Sciences 251 , 1999 .

[306]  H. Sussmann.  A nonsmooth hybrid maximum principle , 1999 .

[307]  W. Heemels.  Linear complementarity systems : a study in hybrid dynamics , 1999 .

[308]  Benedetto Piccoli,et al.  Hybrid systems and optimal control , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[309]  B. Krogh,et al.  Computing polyhedral approximations to flow pipes for dynamic systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[310]  G. Stremersch,et al.  On the influencing net and forbidden state control of timed Petri nets with forced transitions , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[311]  Andras Varga,et al.  Robust and minimum norm pole assignment with periodic state feedback , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[312]  Jan Lunze,et al.  On the Markov Property of Quantised State Measuirement Sequences , 1998, Autom..

[313]  Christos G. Cassandras,et al.  Modeling, Analysis, and Optimal Control of a Class of Hybrid Systems , 1998, Discret. Event Dyn. Syst..

[314]  Jörg Raisch,et al.  Discrete approximation and supervisory control of continuous systems , 1998, IEEE Trans. Autom. Control..

[315]  John Lygeros,et al.  Verified hybrid controllers for automated vehicles , 1998, IEEE Trans. Autom. Control..

[316]  P. Caines,et al.  Hierarchical hybrid control systems: a lattice theoretic formulation , 1998, IEEE Trans. Autom. Control..

[317]  Peter J. Stuckey,et al.  Programming with Constraints: An Introduction , 1998 .

[318]  Vladimir Vapnik,et al.  Statistical learning theory , 1998 .

[319]  Raymond A. DeCarlo,et al.  Switched Controller Synthesis for the Quadratic Stabilisation of a Pair of Unstable Linear Systems , 1998, Eur. J. Control.

[320]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[321]  .. P. M. H. Heemels,et al.  The Rational Complementarity ProblemW , 1998 .

[322]  Johan Nilsson,et al.  Real-Time Control Systems with Delays , 1998 .

[323]  Yasuaki Kuroe,et al.  A solution to the common Lyapunov function problem for continuous-time systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[324]  H. Wong-Toi,et al.  The synthesis of controllers for linear hybrid automata , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[325]  C. Cassandras,et al.  Optimal control of a class of hybrid systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[326]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[327]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[328]  Kim G. Larsen,et al.  Continuous modeling of real-time and hybrid systems: from concepts to tools , 1997, International Journal on Software Tools for Technology Transfer.

[329]  M. K. Ghosh,et al.  Ergodic Control of Switching Diffusions , 1997 .

[330]  V. Protasov.  The generalized joint spectral radius. A geometric approach , 1997 .

[331]  Yu. S. Ledyaev,et al.  Asymptotic controllability implies feedback stabilization , 1997, IEEE Trans. Autom. Control..

[332]  Nicolas Halbwachs,et al.  Verification of Real-Time Systems using Linear Relation Analysis , 1997, Formal Methods Syst. Des..

[333]  Jan Lunze,et al.  Hybrid modelling of continuous-variable systems with application to supervisory control , 1997, 1997 European Control Conference (ECC).

[334]  Anders Rantzer,et al.  Computation of piecewise quadratic Lyapunov functions for hybrid systems , 1997, 1997 European Control Conference (ECC).

[335]  R. Decarlo,et al.  Solution of coupled Lyapunov equations for the stabilization of multimodal linear systems , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[336]  Anders Rantzer,et al.  Piecewise linear quadratic optimal control , 1997, Proceedings of the 1997 American Control Conference (Cat. No.97CH36041).

[337]  Wang Yi,et al.  Time-abstracted Bisimulation: Implicit Specifications and Decidability , 1997, Inf. Comput..

[338]  Alessandro Giua,et al.  A Survey of Petri Net Methods for Controlled Discrete Event Systems , 1997, Discret. Event Dyn. Syst..

[339]  Michael S. Branicky,et al.  Simulation of Hybrid Systems in Omola/Omsim , 1997 .

[340]  Carsten Weise,et al.  Efficient Scaling-Invariant Checking of Timed Bisimulation , 1997, STACS.

[341]  Hajime Ishii,et al.  Exhaust Purification of Diesel Engines by Homogeneous Charge with Compression Ignition Part 2: Analysis of Combustion Phenomena and NOx Formation by Numerical Simulation with Experiment , 1997 .

[342]  Arjan van der Schaft,et al.  Complementarity modelling of hybrid systems , 1997 .

[343]  Yurii Rogozhin,et al.  Small Universal Turing Machines , 1996, Theor. Comput. Sci..

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

[345]  C. C. Pantelides,et al.  A modelling and simulation language for combined lumped and distributed parameter systems , 1996 .

[346]  M. Maesumi.  An efficient lower bound for the generalized spectral radius , 1996 .

[347]  O. Toker.  On the Algorithmic Unsolvability of Some Stability Problems for Discrete Event Systems , 1996 .

[348]  G. Gripenberg.  COMPUTING THE JOINT SPECTRAL RADIUS , 1996 .

[349]  Heinz A. Preisig,et al.  A discrete-event modelling procedure for continuous processes based on state-discretization , 1996 .

[350]  Sebastian Engell,et al.  BaSiP — Batch process simulation with dynamically reconfigured process dynamics , 1996 .

[351]  Jun Gu,et al.  Algorithms for the satisfiability (SAT) problem: A survey , 1996, Satisfiability Problem: Theory and Applications.

[352]  Arjan van der Schaft,et al.  The complementary-slackness class of hybrid systems , 1996, Math. Control. Signals Syst..

[353]  T. Henzinger,et al.  Algorithmic Analysis of Nonlinear Hybrid Systems , 1998, CAV.

[354]  Eduardo D. Sontag,et al.  Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time , 1996, Hybrid Systems.

[355]  V. Borkar,et al.  /spl epsiv/-approximation of differential inclusions , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[356]  B. Krogh,et al.  Synthesis of supervisory controllers for hybrid systems based on approximating automata , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[357]  A. Michel,et al.  Stability theory for hybrid dynamical systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[358]  Thomas A. Henzinger,et al.  HYTECH: the next generation , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[359]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

[360]  Mieczyslaw M. Kokar,et al.  On consistent symbolic representations of general dynamic systems , 1995, IEEE Trans. Syst. Man Cybern..

[361]  Pravin Varaiya,et al.  What's decidable about hybrid automata? , 1995, STOC '95.

[362]  Thomas A. Henzinger,et al.  A User Guide to HyTech , 1995, TACAS.

[363]  J. Lagarias,et al.  The finiteness conjecture for the generalized spectral radius of a set of matrices , 1995 .

[364]  K. Narendra,et al.  A common Lyapunov function for stable LTI systems with commuting A-matrices , 1994, IEEE Trans. Autom. Control..

[365]  Michel Cosnard,et al.  Computability with Low-Dimensional Dynamical Systems , 1994, Theor. Comput. Sci..

[366]  R. Sargent,et al.  Solution of a Class of Multistage Dynamic Optimization Problems. 2. Problems with Path Constraints , 1994 .

[367]  Jan Lunze,et al.  Qualitative modelling of linear dynamical systems with quantized state measurements , 1994, Autom..

[368]  D. Hill,et al.  Modelling and identification of nonlinear dynamic loads in power systems , 1994 .

[369]  Gautam Mitra,et al.  Tools for reformulating logical forms into zero-one mixed integer programs , 1994 .

[370]  P. Kundur,et al.  Power system stability and control , 1994 .

[371]  Panos J. Antsaklis,et al.  Interface and Controller Design for Hybrid Control Systems , 1994, Hybrid Systems.

[372]  Ji-Feng Zhang,et al.  General lemmas for stability analysis of linear continuous-time systems with slowly time-varying parameters , 1993 .

[373]  M. Marques,et al.  Differential Inclusions in Nonsmooth Mechanical Problems: Shocks and Dry Friction , 1993 .

[374]  J. Sreedhar,et al.  Pole Placement via the Periodic Schur Decomposition , 1993, 1993 American Control Conference.

[375]  Hiromasa Haneda,et al.  Computer generated Lyapunov functions for a class of nonlinear systems , 1993 .

[376]  Sven Erik Mattsson,et al.  Index Reduction in Differential-Algebraic Equations Using Dummy Derivatives , 1993, SIAM J. Sci. Comput..

[377]  P. Ramadge,et al.  Periodicity and chaos from switched flow systems: contrasting examples of discretely controlled continuous systems , 1993, IEEE Trans. Autom. Control..

[378]  Roger W. Brockett,et al.  Hybrid Models for Motion Control Systems , 1993 .

[379]  Richard L. Tweedie,et al.  Markov Chains and Stochastic Stability , 1993, Communications and Control Engineering Series.

[380]  Paul Van Dooren,et al.  An orthogonal method for the controllable subspace of a periodic system , 1993 .

[381]  Hava T. Siegelmann,et al.  On the computational power of neural nets , 1992, COLT '92.

[382]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[383]  Joseph Sifakis,et al.  An Approach to the Description and Analysis of Hybrid Systems , 1992, Hybrid Systems.

[384]  Antonio Vicino,et al.  Optimal estimation theory for dynamic systems with set membership uncertainty: An overview , 1991, Autom..

[385]  R. Decarlo,et al.  Asymptotic Stability of m-Switched Systems using Lyapunov-Like Functions , 1991, 1991 American Control Conference.

[386]  J. Willems.  Paradigms and puzzles in the theory of dynamical systems , 1991 .

[387]  R. Raman,et al.  RELATION BETWEEN MILP MODELLING AND LOGICAL INFERENCE FOR CHEMICAL PROCESS SYNTHESIS , 1991 .

[388]  Eduardo Sontag,et al.  Turing computability with neural nets , 1991 .

[389]  A. Willsky,et al.  Observability of discrete event dynamic systems , 1990 .

[390]  Moore,et al.  Unpredictability and undecidability in dynamical systems. , 1990, Physical review letters.

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

[392]  Y. Pyatnitskiy,et al.  Criteria of asymptotic stability of differential and difference inclusions encountered in control theory , 1989 .

[393]  L. Vandenberghe,et al.  The generalized linear complementarity problem applied to the complete analysis of resistive piecewise-linear circuits , 1989, IEEE International Symposium on Circuits and Systems,.

[394]  Jan C. Willems,et al.  Models for Dynamics , 1989 .

[395]  Constantinos C. Pantelides,et al.  SpeedUp—recent advances in process simulation , 1988 .

[396]  C. Pantelides.  The consistent intialization of differential-algebraic systems , 1988 .

[397]  L. Tavernini.  Differential automata and their discrete simulators , 1987 .

[398]  Kyun K. Lee,et al.  On the controllability of piecewise-linear hypersurface systems , 1987, 1987 American Control Conference.

[399]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[400]  J. Tsitsiklis.  The Stability of the Products of a Finite Set of Matrices , 1987 .

[401]  C. Hsu,et al.  Cell-To-Cell Mapping A Method of Global Analysis for Nonlinear Systems , 1987 .

[402]  R. W. Saaty,et al.  The analytic hierarchy process—what it is and how it is used , 1987 .

[403]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[404]  Lennart Ljung,et al.  System Identification: Theory for the User , 1987 .

[405]  John N. Tsitsiklis,et al.  On the stability of asynchronous iterative processes , 1986, 1986 25th IEEE Conference on Decision and Control.

[406]  T. Saito.  A chaos generator based on a quasi-harmonic oscillator , 1985 .

[407]  L. Petzold.  A description of dassl: a differential/algebraic system solver , 1982 .

[408]  Per Lötstedt.  Mechanical Systems of Rigid Bodies Subject to Unilateral Constraints , 1982 .

[409]  Eduardo Sontag.  Nonlinear regulation: The piecewise linear approach , 1981 .

[410]  Van Bokhoven.  Piecewise-linear modelling and analysis , 1981 .

[411]  S. H. Jo,et al.  Active Thermo-Atmosphere Combustion (ATAC) - A New Combustion Process for Internal Combustion Engines , 1979 .

[412]  Yukiyasu Tanaka,et al.  A Study on Gasoline Engine Combustion by Observation of Intermediate Reactive Products during Combustion , 1979 .

[413]  Eduardo Sontag.  On the Observability of Polynomial Systems, I: Finite-Time Problems , 1979 .

[414]  J. Richalet,et al.  Model predictive heuristic control: Applications to industrial processes , 1978, Autom..

[415]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[416]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[417]  V. Utkin.  Variable structure systems with sliding modes , 1977 .

[418]  Slobodan Cuk,et al.  A general unified approach to modelling switching-converter power stages , 1976, 1970 IEEE Power Electronics Specialists Conference.

[419]  H. Witsenhausen.  A class of hybrid-state continuous-time dynamic systems , 1966 .