کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6873926 1440712 2017 25 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Tracking smooth trajectories in linear hybrid systems
ترجمه فارسی عنوان
پیگیری مسیرهای صاف در سیستم های ترکیبی خطی
کلمات کلیدی
اتوماتای ​​هیبرید، دسترسی پذیری، سنتز کنترل کننده،
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We analyze the properties of smooth trajectories subject to a constant differential inclusion which constrains the first derivative to belong to a given convex polyhedron. We present the first exact symbolic algorithm that computes the set of points from which there is a trajectory that reaches a given polyhedron while avoiding another (possibly non-convex) polyhedron. We prove that this set of points remains the same if the smoothness constraint is replaced by a weaker differentiability constraint, but not if it is replaced by almost everywhere differentiability. We discuss the connection with (Linear) Hybrid Automata and in particular the relationship with the classical algorithm for reachability analysis for Linear Hybrid Automata.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 257, December 2017, Pages 114-138
نویسندگان
, ,