Search Results - "Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control" :: K.UTB vyhledávací portál

Loading…

On abstraction-based controller design with output feedback

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Get full text

Conference Proceeding

Loading…

Symbolic controller synthesis for Büchi specifications on stochastic systems

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Get full text

Conference Proceeding

Loading…

Reachability analysis for hybrid systems with nonlinear guard sets

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Get full text

Conference Proceeding

Loading…

A computable and compositional semantics for hybrid automata

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Get full text

Conference Proceeding

Loading…

Worst-case topological entropy and minimal data rate for state observation of switched linear systems

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Get full text

Conference Proceeding

Loading…

Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Get full text

Conference Proceeding

Loading…

A simple hierarchy for computing controlled invariant sets

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Get full text

Conference Proceeding

Loading…

Implicit structural analysis of multimode DAE systems

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Get full text

Conference Proceeding

Loading…

Robust output feedback control with guaranteed constraint satisfaction

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Get full text

Conference Proceeding

Loading…

Local lipschitzness of reachability maps for hybrid systems with applications to safety

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Get full text

Conference Proceeding

Loading…

Convergence of ant colony multi-agent swarms

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Get full text

Conference Proceeding

Loading…

Sufficient conditions for satisfaction of formulas with until operators in hybrid systems

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Get full text

Conference Proceeding

Loading…

AReN

Published in Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Get full text

Conference Proceeding

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database