Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems-Reference-Cited by-同舟云学术

Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems

Published:2000 Issue: Volume: Page:45-58
ISSN:0302-9743
Container-title:Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Bemporad Alberto,Torrisi Fabio Danilo,Morari Manfred

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46430-1_8

Reference28 articles.

1. Lect Notes Comput Sci;R. Alur,1993

2. A. Asarin, O. Maler, and A. Pnueli. On the analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science, 138:35–65, 1995.

3. Lect Notes Comput Sci;A. Balluchi,1998

4. A. Bemporad, G. Ferrari-Trecate, and M. Morari. Observability and controllability of piecewise affine and hybrid systems. IEEE Trans. Automatic Control, to appear. http://control.ethz.ch/ .

5. A. Bemporad and M. Morari. Control of systems integrating logic, dynamics, and constraints. Automatica, 35(3):407–427, March 1999.

Cited by 24 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Piecewise linear neural networks and deep learning;Nature Reviews Methods Primers;2022-06-09

2. Stabilization of Discrete-Time Piecewise Affine Systems in Implicit Representation;2021 60th IEEE Conference on Decision and Control (CDC);2021-12-14

3. A receding horizon event-driven control strategy for intelligent traffic management;Discrete Event Dynamic Systems;2021-04-30

4. Verification and Control of Hybrid Systems Under Safety Requirements;IFAC-PapersOnLine;2018

5. Algorithmic Verification of Continuous and Hybrid Systems;Electronic Proceedings in Theoretical Computer Science;2014-02-23