Search

Your search keyword '"Tiwari, Ashish"' showing total 26 results
Start Over Author "Tiwari, Ashish" Topic hybrid system

Refine your results

more »

26 results on '"Tiwari, Ashish"'

1. Timed Relational Abstractions for Sampled Data Control Systems

Author

Zutshi, Aditya, Sankaranarayanan, Sriram, Tiwari, Ashish, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Madhusudan, P., editor, and Seshia, Sanjit A., editor

Published
2012
Full Text
View/download PDF

2. Relational Abstractions for Continuous and Hybrid Systems

Author

Sankaranarayanan, Sriram, Tiwari, Ashish, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Gopalakrishnan, Ganesh, editor, and Qadeer, Shaz, editor

Published
2011
Full Text
View/download PDF

3. Constraint-Based Approach for Analysis of Hybrid Systems

Author

Gulwani, Sumit, Tiwari, Ashish, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gupta, Aarti, editor, and Malik, Sharad, editor

Published
2008
Full Text
View/download PDF

4. Generating Box Invariants

Author

Tiwari, Ashish, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Egerstedt, Magnus, editor, and Mishra, Bud, editor

Published
2008
Full Text
View/download PDF

9. Logic & Proofs for Cyber-Physical Systems

Author

Platzer, André, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Olivetti, Nicola, editor, and Tiwari, Ashish, editor

Published
2016
Full Text
View/download PDF

10. R-Charon, a Modeling Language for Reconfigurable Hybrid Systems

Author

Kratz, Fabian, Sokolsky, Oleg, Pappas, George J., Lee, Insup, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

11. Output-Based Optimal Timing Control of Switched Systems

Author

Azuma, Shun-ichi, Egerstedt, Magnus, Wardi, Yorai, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

12. On the Stability of Zeno Equilibria

Author

Ames, Aaron D., Tabuada, Paulo, Sastry, Shankar, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

13. Beyond Zeno: Get on with It!

Author

Zheng, Haiyang, Lee, Edward A., Ames, Aaron D., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

14. Fixed Point Iteration for Computing the Time Elapse Operator

Author

Sankaranarayanan, Sriram, Sipma, Henny B., Manna, Zohar, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

15. Model Checking of Hybrid Systems: From Reachability Towards Stability

Author

Podelski, Andreas, Wagner, Silke, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

16. Estimation and Conflict Detection in Human Controlled Systems

Author

Lesire, Charles, Tessier, Catherine, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

17. Reachability Analysis of Multi-affine Systems

Author

Kloetzer, Marius, Belta, Calin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

18. Verification Using Simulation

Author

Girard, Antoine, Pappas, George J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

19. Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs

Author

Girard, Antoine, Le Guernic, Colas, Maler, Oded, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

20. Observability of Hybrid Automata by Abstraction

Author

D’Innocenzo, A., Di Benedetto, M. D., Di Gennaro, S., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

21. The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective

Author

Gao, Yan, Lygeros, John, Quincapoix, Marc, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

22. Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks

Author

Drulhe, S., Ferrari-Trecate, G., de Jong, H., Viari, A., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

23. Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata

Author

Bemporad, Alberto, Di Cairano, Stefano, Júlvez, Jorge, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

24. Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation

Author

Caines, Peter E., Shaikh, M. Shahid, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

25. Approximate Reachability Computation for Polynomial Systems

Author

Dang, Thao, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Hespanha, João P., editor, and Tiwari, Ashish, editor

Published
2006
Full Text
View/download PDF

26. Laplacian sheep: a hybrid, stop-go policy for leader-based containment control

Author

Meng Ji, Magnus Egerstedt, Annalisa Buffa, Giancarlo Ferrari-Trecate, Hespanha, João P., and Tiwari, Ashish

Subjects
Computer Science::Multiagent Systems, Engineering, Control theory, business.industry, Hybrid system, Convex polytope, Graph (abstract data type), Context (language use), Polytope, Mobile robot, business, Decentralised system, Connectivity
Abstract

The problem of driving a collection of mobile robots to a given target location is studied in the context of partial difference equations. In particular, we are interested in achieving this transfer while ensuring that the agents stay in the convex polytope spanned by dedicated leader-agents, whose dynamics will be given by a hybrid Stop-Go policy. The resulting system ensures containment through the enabling result that under a Laplacian, decentralized control strategy for the followers, these followers will converge to a location in the convex leader polytope, as long as the leaders are stationary and the interaction graph is connected. Simulation results testify to the viability of the proposed, hybrid control strategy.

Catalog

Books, media, physical & digital resources
See catalog results