-
1
-
-
84974731232
-
Approximate reachability analysis of piecewise-linear dynamical systems
-
N. Lynch and B. Krogh, Eds, Vol. 1790 of Notes in Computer Science, New York: Springer-Verlag
-
E. Asarin, T. Dang, O. Maler and O. Bournez, "Approximate reachability analysis of piecewise-linear dynamical systems", in Third International Workshop, HSCC2000, Hybrid Systems: Computation and Control, N. Lynch and B. Krogh, Eds, Vol. 1790 of Notes in Computer Science, New York: Springer-Verlag, 2000, pp. 20-31.
-
(2000)
Third International Workshop, HSCC2000, Hybrid Systems: Computation and Control
, pp. 20-31
-
-
Asarin, E.1
Dang, T.2
Maler, O.3
Bournez, O.4
-
2
-
-
0002460654
-
Exponential stabilization of nonholonomic systems via discontinuous control
-
Tahoe City, USA
-
A. Astolfi, "Exponential stabilization of nonholonomic systems via discontinuous control", in 4th IFAC Symposium on Nonlinear Control Design, Tahoe City, USA, 1995, pp. 741-746.
-
(1995)
4th IFAC Symposium on Nonlinear Control Design
, pp. 741-746
-
-
Astolfi, A.1
-
3
-
-
0000665382
-
Automotive engine control and hybrid systems: Challenges and opportunities
-
(Special Issue on Hybrid Systems) (invited paper)
-
A. Balluchi, L. Benvenuti, M.D. Di Benedetto, C. Pinello and A.L. Sangiovannivincentelli, "Automotive engine control and hybrid systems: challenges and opportunities", Proceedings of the IEEE, 88, 2000 (Special Issue on Hybrid Systems) (invited paper), pp. 888-912.
-
(2000)
Proceedings of the IEEE
, vol.88
, pp. 888-912
-
-
Balluchi, A.1
Benvenuti, L.2
Di Benedetto, M.D.3
Pinello, C.4
Sangiovannivincentelli, A.L.5
-
4
-
-
0033307362
-
Controller synthesis for hybrid systems with lower bounds on event separation
-
Phoenix, Arizona, USA, December
-
A. Balluchi, L. Benvenuti, H. Wong-Toi, T. Villa and A.L. Sangiovanni-Vincentelli, "Controller synthesis for hybrid systems with lower bounds on event separation", in Proc. 38th IEEE Conference on Decision and Control, Phoenix, Arizona, USA, December 1999, pp. 3984-3989.
-
(1999)
Proc. 38th IEEE Conference on Decision and Control
, pp. 3984-3989
-
-
Balluchi, A.1
Benvenuti, L.2
Wong-Toi, H.3
Villa, T.4
Sangiovanni-Vincentelli, A.L.5
-
5
-
-
84944228080
-
Hybrid feedback control for path tracking by a boundedcurvature vehicle
-
Hybrid Systems: Computation and Control, M.D. Di Benedetto and A.L. Sangiovanni-Vincentelli, Eds, Heidelberg, Germany: Springer-Verlag
-
A. Balluchi, P. Souéres and A. Bicchi, "Hybrid feedback control for path tracking by a boundedcurvature vehicle", in Hybrid Systems: Computation and Control, M.D. Di Benedetto and A.L. Sangiovanni-Vincentelli, Eds, Vol. 2034 of Lecture Notes in Computer Science, Heidelberg, Germany: Springer-Verlag, 2001, pp. 133-146.
-
(2001)
Lecture Notes in Computer Science
, vol.2034
, pp. 133-146
-
-
Balluchi, A.1
Souéres, P.2
Bicchi, A.3
-
6
-
-
0026981847
-
Shortest paths of bounded curvature in the plane
-
Nice, France
-
J. Boissonnat, A. Cerezo and J. Leblong, "Shortest paths of bounded curvature in the plane", in Proc. of the IEEE Int. Conf. on Robotics and Automation, Nice, France, 1992.
-
(1992)
Proc. of the IEEE Int. Conf. on Robotics and Automation
-
-
Boissonnat, J.1
Cerezo, A.2
Leblong, J.3
-
7
-
-
0001215663
-
Asymptotic stability and feedback stabilization
-
M. Brockett and Sussmann, Eds, Vol. 27 of Progress in Mathematics, Birkhauser, Boston, USA
-
R. Brockett, "Asymptotic stability and feedback stabilization", in Differential Geometric Control Theory, M. Brockett and Sussmann, Eds, Vol. 27 of Progress in Mathematics, Birkhauser, Boston, USA, 1983, pp. 181-191.
-
(1983)
Differential Geometric Control Theory
, pp. 181-191
-
-
Brockett, R.1
-
9
-
-
0000070593
-
Nonlinear control design for mobile robots
-
Y.F. Zheng, Ed., Vol. 11 of World Scientific Series in Robotics and Automated Systems, Singapore, New Jersey, London, Hong-Kong: World Scientific
-
C. Canudas de Wit, H. Khennouf, C. Samson and O. Sordalen, "Nonlinear control design for mobile robots", in Recent trends in mobile robots, Y.F. Zheng, Ed., Vol. 11 of World Scientific Series in Robotics and Automated Systems, Singapore, New Jersey, London, Hong-Kong: World Scientific, 1993, pp. 121-156.
-
(1993)
Recent Trends in Mobile Robots
, pp. 121-156
-
-
Canudas De Wit, C.1
Khennouf, H.2
Samson, C.3
Sordalen, O.4
-
10
-
-
0000977157
-
On curves of minimal length with a constraint on average curvature and with prescribed initial and terminal positions and tangents
-
L.E. Dubins, "On curves of minimal length with a constraint on average curvature and with prescribed initial and terminal positions and tangents", American Journal of Mathematics, 79, pp. 497-516, 1957.
-
(1957)
American Journal of Mathematics
, vol.79
, pp. 497-516
-
-
Dubins, L.E.1
-
12
-
-
0010650519
-
Sliding mode control of mobile robots
-
Benevento, Italy
-
J. Guldner and V. Utkin, "Sliding mode control of mobile robots", in Proc. IEEE Workshop on Robust Control via Variable Structure and Lyapunov Techniques, Benevento, Italy, 1994, pp. 4-11.
-
(1994)
Proc. IEEE Workshop on Robust Control Via Variable Structure and Lyapunov Techniques
, pp. 4-11
-
-
Guldner, J.1
Utkin, V.2
-
13
-
-
0035437176
-
Path following with a security margin for mobile robots
-
T. Hamel, P. Souéres and D. Meizel, "Path following with a security margin for mobile robots", Int. Journal of Systems Sciences, 32, pp. 989-1002, 2001.
-
(2001)
Int. Journal of Systems Sciences
, vol.32
, pp. 989-1002
-
-
Hamel, T.1
Souéres, P.2
Meizel, D.3
-
14
-
-
84958045872
-
Hybrid automata with finite bisimulations
-
Z. Füilöp and F. Gécseg, Eds, London: Springer-Verlag
-
T.A. Henzinger, "Hybrid automata with finite bisimulations", in ICALP'95: Automata, Languages, and Programming, Z. Füilöp and F. Gécseg, Eds, London: Springer-Verlag, 1995, pp. 324-335.
-
(1995)
ICALP'95: Automata, Languages, and Programming
, pp. 324-335
-
-
Henzinger, T.A.1
-
15
-
-
84862636592
-
Bisimulation based hierarchical system architecture for single-agent molti-modal systems
-
Hybrid Systems: Computation and Control, C.J. Tomlin and M.R. Greenstreet, Eds, Berlin Heidelberg New York: Springer-Verlag
-
T.J. Koo and S. Sastry, "Bisimulation based hierarchical system architecture for single-agent molti-modal systems", in Hybrid Systems: Computation and Control, C.J. Tomlin and M.R. Greenstreet, Eds, Vol. 2289 of Lecture Notes in Computer Science, Berlin Heidelberg New York: Springer-Verlag, 2002, pp. 281-293.
-
(2002)
Lecture Notes in Computer Science
, vol.2289
, pp. 281-293
-
-
Koo, T.J.1
Sastry, S.2
-
16
-
-
0033100636
-
Controllers for reachability specifications for hybrid systems
-
J. Lygeros, C. Tomlin and S. Sastry, "Controllers for reachability specifications for hybrid systems", Automatica, 35, pp. 349-370, 1999.
-
(1999)
Automatica
, vol.35
, pp. 349-370
-
-
Lygeros, J.1
Tomlin, C.2
Sastry, S.3
-
17
-
-
84974691881
-
Using abstractions for the verification of linear hybrid systems
-
Proceedings of Sixth International Conference on Computer-Aided Verification (CAV-94), Springer-Verlag
-
A. Olivero, J. Sifakis and S. Yovine, "Using abstractions for the verification of linear hybrid systems", in Proceedings of Sixth International Conference on Computer-Aided Verification (CAV-94), Springer-Verlag, Lecture Notes in Computer Science 818, 1994, pp. 81-94.
-
(1994)
Lecture Notes in Computer Science
, vol.818
, pp. 81-94
-
-
Olivero, A.1
Sifakis, J.2
Yovine, S.3
-
19
-
-
0343369152
-
Path following and time-varing feedback stabilization of a wheeled mobile robot
-
Singapore
-
C. Samson, "Path following and time-varing feedback stabilization of a wheeled mobile robot", in Proc. of the ICARCV92, Singapore, 1993, pp. RO-13.1.1-13.1.5.
-
(1993)
Proc. of the ICARCV92
-
-
Samson, C.1
-
20
-
-
0029234888
-
Control of chained systems application to path following and time-varying point-stabilization of mobile robots
-
C. Samson, "Control of chained systems application to path following and time-varying point-stabilization of mobile robots", IEEE Transaction on Automatic Control, 40, pp. 64-77, 1995.
-
(1995)
IEEE Transaction on Automatic Control
, vol.40
, pp. 64-77
-
-
Samson, C.1
-
21
-
-
0020799551
-
Tracking control of nonlinear systems using sliding surfaces with applications to robot manipulators
-
J. Slotine and S. Sastry, "Tracking control of nonlinear systems using sliding surfaces with applications to robot manipulators", International Journal of Control, 38, pp. 465-492, 1983.
-
(1983)
International Journal of Control
, vol.38
, pp. 465-492
-
-
Slotine, J.1
Sastry, S.2
-
22
-
-
0035838744
-
Optimal feedback control for line tracking with a boundedcurvature vehicle
-
P. Souéres, A. Balluchi and A. Bicchi, "Optimal feedback control for line tracking with a boundedcurvature vehicle", Int. Journal of Control, 74, pp. 1009-1019, 2001.
-
(2001)
Int. Journal of Control
, vol.74
, pp. 1009-1019
-
-
Souéres, P.1
Balluchi, A.2
Bicchi, A.3
-
25
-
-
0017478092
-
Variable structure systems with sliding modes: A survey
-
V. Utkin, "Variable structure systems with sliding modes: a survey", IEEE Transations on Automatic Control, 22, pp. 212-222, 1977.
-
(1977)
IEEE Transations on Automatic Control
, vol.22
, pp. 212-222
-
-
Utkin, V.1
-
26
-
-
84974720016
-
Dynamical systems revisited: Hybrid systems with zeno executions
-
Third International Workshop, HSCC2000, Hybrid Systems: Computation and Control, N. Lynch and B. Krogh, Eds, New York, USA: Springer-Verlag
-
J. Zhang, K. Johansson, J. Lygeros and S. Sastry, "Dynamical systems revisited: hybrid systems with zeno executions", in Third International Workshop, HSCC2000, Hybrid Systems: Computation and Control, N. Lynch and B. Krogh, Eds, Vol. 1790 of Lecture Notes in Computer Science, New York, USA: Springer-Verlag, 2000, pp. 451-464.
-
(2000)
Lecture Notes in Computer Science
, vol.1790
, pp. 451-464
-
-
Zhang, J.1
Johansson, K.2
Lygeros, J.3
Sastry, S.4
|