Search Results for Hybrid systems.

1.

Stochastic Reachability Analysis of Hybrid Systems

Author

Bujorianu, Luminita Manuela. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4471-2795-6

Format:

Availability

Online Library~1

Available:
Copies:

2.

Model-based Health Monitoring of Hybrid Systems

Author

Wang, Danwei. author. Yu, Ming. author. Low, Chang Boon. author. Arogeti, Shai. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332270.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-7369-5

Format:

Availability

Online Library~1

Available:
Copies:

3.

Natural Deduction, Hybrid Systems and Modal Logics

Author

Indrzejczak, Andrzej. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-8785-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

Author

Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-01461-2

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

Hybrid Artificial Intelligent Systems 8th International Conference, HAIS 2013, Salamanca, Spain, September 11-13, 2013. Proceedings

Author

Pan, Jeng-Shyang. editor. Polycarpou, Marios M. editor. Woźniak, Michał. editor. Carvalho, André C. P. L. F. editor. Quintián, Héctor. editor.

Preferred Shelf Number

ONLINE(335017.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-40846-5

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II

Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part II

Author

Corchado, Emilio. editor. Snášel, Václav. editor. Abraham, Ajith. editor. Woźniak, Michał. editor. Graña, Manuel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28931-6

Format:

Availability

Online Library~1

Available:
Copies:

7.

Hybrid Artificial Intelligent Systems 7th International Conference, HAIS 2012, Salamanca, Spain, March 28-30th, 2012. Proceedings, Part I

Author

Corchado, Emilio. editor. Snášel, Václav. editor. Abraham, Ajith. editor. Woźniak, Michał. editor. Graña, Manuel. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-28942-2

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Hybrid Artificial Intelligent Systems 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I

Hybrid Artificial Intelligent Systems 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I

Author

Corchado, Emilio. editor. Kurzyński, Marek. editor. Woźniak, Michał. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-21219-2

Format:

Availability

Online Library~1

Available:
Copies:

9.

Hybrid Artificial Intelligent Systems 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II

Author

Corchado, Emilio. editor. Kurzyński, Marek. editor. Woźniak, Michał. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-21222-2

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

Author

Herde, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8348-9949-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I

Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I

Author

Graña Romay, Manuel. editor. Corchado, Emilio. editor. Garcia Sebastian, M. Teresa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13769-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Hybrid Artificial Intelligence Systems 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part II

Author

Corchado, Emilio. editor. Graña Romay, Manuel. editor. Manhaes Savio, Alexandre. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-13803-4

Format:

Availability

Online Library~1

Available:
Copies:

13.

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics

Author

Platzer, André. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-14509-4

Format:

Availability

Online Library~1

Available:
Copies:

14.

Verification and Control of Hybrid Systems A Symbolic Approach

Author

Tabuada, Paulo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-0224-5

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Author

Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00602-9

Format:

Availability

Online Library~1

Available:
Copies:

16.

Hybrid Artificial Intelligence Systems 4th International Conference, HAIS 2009, Salamanca, Spain, June 10-12, 2009. Proceedings

Author

Corchado, Emilio. editor. Wu, Xindong. editor. Oja, Erkki. editor. Herrero, Álvaro. editor. Baruque, Bruno. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02319-4

Format:

Availability

Online Library~1

Available:
Copies:

17.

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

Author

Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78929-1

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Hybrid Artificial Intelligence Systems Third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008. Proceedings

Hybrid Artificial Intelligence Systems Third International Workshop, HAIS 2008, Burgos, Spain, September 24-26, 2008. Proceedings

Author

Corchado, Emilio. editor. Abraham, Ajith. editor. Pedrycz, Witold. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-87656-4

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Author

Jones, Cliff B. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-75221-9

Format:

Availability

Online Library~1

Available:
Copies:

20.

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

Author

Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-71493-4

Format:

Availability

Online Library~1

Available:
Copies:

21.

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

Author

Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11730637

Format:

Availability

Online Library~1

Available:
Copies:

22.

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

Author

Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b106766

Format:

Availability

Online Library~1

Available:
Copies:

23.

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Author

Rust, Heinrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b135629

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}