An invariant-based approach to the design of hybrid control systems-Reference-Cited by-同舟云学术

An invariant-based approach to the design of hybrid control systems

Published:2001 Issue:5 Volume:11 Page:453-478
ISSN:1049-8923
Container-title:International Journal of Robust and Nonlinear Control
language:en
Short-container-title:Int. J. Robust Nonlinear Control

Author:

Stiver James A.,Koutsoukos Xenofon D.,Antsaklis Panos J.

Publisher

Wiley

Subject

Electrical and Electronic Engineering,Industrial and Manufacturing Engineering,Mechanical Engineering,Aerospace Engineering,Biomedical Engineering,General Chemical Engineering,Control and Systems Engineering

Reference33 articles.

1. Verified hybrid controllers for automated vehicles

2. Conflict resolution for air traffic management: a study in multiagent hybrid systems

3. Analysis and design of hybrid control systems. Ph.D. Thesis, Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, 1995.

4. Lecture Notes;Stiver,1995

5. Hybrid control system design based on natural invariants. In Proceedings of the 34th IEEE Conference on Decision and Control, New Orleans, LA, December 1995; 1455-1460.

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

1. Forward Invariance of Sets for Hybrid Dynamical Systems (Part II);IEEE Transactions on Automatic Control;2021-01

2. Deadness and how to disprove liveness in hybrid dynamical systems;Theoretical Computer Science;2016-08

3. Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems;FM 2015: Formal Methods;2015

4. Evolutionary design of discrete controllers for hybrid mechatronic systems;International Journal of Systems Science;2013-05-28

5. Computing Abstractions of Nonlinear Systems;IEEE Transactions on Automatic Control;2011-11