├── .nojekyll ├── videos └── .gitkeep ├── scripts └── install-decktape.sh ├── notes ├── build └── notes.md ├── .gitpod.yml ├── requirements.txt ├── .gitattributes ├── JOSE ├── build ├── paper.bib └── paper.md ├── reveal.js ├── lib │ ├── font │ │ ├── league-gothic │ │ │ ├── LICENSE │ │ │ ├── league-gothic.eot │ │ │ ├── league-gothic.ttf │ │ │ ├── league-gothic.woff │ │ │ └── league-gothic.css │ │ └── source-sans-pro │ │ │ ├── source-sans-pro-italic.eot │ │ │ ├── source-sans-pro-italic.ttf │ │ │ ├── source-sans-pro-italic.woff │ │ │ ├── source-sans-pro-regular.eot │ │ │ ├── source-sans-pro-regular.ttf │ │ │ ├── source-sans-pro-regular.woff │ │ │ ├── source-sans-pro-semibold.eot │ │ │ ├── source-sans-pro-semibold.ttf │ │ │ ├── source-sans-pro-semibold.woff │ │ │ ├── source-sans-pro-semibolditalic.eot │ │ │ ├── source-sans-pro-semibolditalic.ttf │ │ │ ├── source-sans-pro-semibolditalic.woff │ │ │ ├── source-sans-pro.css │ │ │ └── LICENSE │ ├── js │ │ ├── html5shiv.js │ │ └── classList.js │ └── css │ │ └── zenburn.css ├── test │ ├── simple.md │ ├── examples │ │ ├── assets │ │ │ ├── image1.png │ │ │ └── image2.png │ │ ├── barebones.html │ │ ├── embedded-media.html │ │ ├── slide-transitions.html │ │ ├── slide-backgrounds.html │ │ └── math.html │ ├── test-markdown.js │ ├── test-pdf.js │ ├── test-markdown-options.js │ ├── test-markdown-external.js │ ├── test-markdown-options.html │ ├── test-markdown-external.html │ ├── test-markdown.html │ ├── test-pdf.html │ ├── test.html │ ├── test-markdown-element-attributes.js │ ├── test-markdown-slide-attributes.js │ ├── test-markdown-slide-attributes.html │ └── test-markdown-element-attributes.html ├── plugin │ ├── multiplex │ │ ├── client.js │ │ ├── package.json │ │ ├── master.js │ │ └── index.js │ ├── markdown │ │ ├── example.md │ │ └── example.html │ ├── math │ │ └── math.js │ ├── notes-server │ │ ├── index.js │ │ └── client.js │ ├── print-pdf │ │ └── print-pdf.js │ └── notes │ │ └── notes.js ├── bower.json ├── css │ ├── theme │ │ ├── source │ │ │ ├── night.scss │ │ │ ├── serif.scss │ │ │ ├── league.scss │ │ │ ├── sky.scss │ │ │ ├── beige.scss │ │ │ ├── black.scss │ │ │ ├── white.scss │ │ │ ├── simple.scss │ │ │ ├── moon.scss │ │ │ ├── solarized.scss │ │ │ └── blood.scss │ │ ├── template │ │ │ ├── settings.scss │ │ │ ├── mixins.scss │ │ │ └── theme.scss │ │ ├── README.md │ │ ├── night.css │ │ ├── serif.css │ │ ├── moon.css │ │ ├── solarized.css │ │ ├── white.css │ │ ├── black.css │ │ ├── simple.css │ │ └── sky.css │ └── print │ │ ├── pdf.css │ │ └── paper.css ├── CONTRIBUTING.md ├── LICENSE ├── package.json ├── index.html └── Gruntfile.js ├── images ├── static │ ├── hadley-attractor.png │ ├── lorenz-attractor.png │ ├── Forrester-World-Model.png │ ├── engin-akyurt-KUeJcc4YUug-unsplash.jpg │ ├── jeremy-cai-B8UTPKlHNyw-unsplash.jpg │ ├── tomoko-uji-mrY6njRF7wk-unsplash.jpg │ ├── daniel-schludi-mAGZNECMcUg-unsplash.jpg │ ├── jonathan-ridley-UgrU3AlHYo8-unsplash.jpg │ ├── possessed-photography-dRMQiAubdws-unsplash.jpg │ └── 640px-20180825_SP-LVD_Radom_Air_Show_1111_4948_DxO.jpg └── justin-hu-oSyF_-CfXxA-unsplash.jpg ├── examples ├── __pycache__ │ └── pendulum.cpython-37.pyc └── pendulum.py ├── misc ├── build ├── images │ └── main.py └── stability.txt ├── publish ├── environment.yml ├── .gitignore ├── .github └── workflows │ ├── build.yml │ └── build.yml.bak ├── install.md ├── pixi.toml ├── .travis.yml.old └── mivp.py /.nojekyll: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /videos/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /scripts/install-decktape.sh: -------------------------------------------------------------------------------- 1 | npm -g install decktape 2 | -------------------------------------------------------------------------------- /notes/build: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | pandoc -o notes.pdf notes.md -------------------------------------------------------------------------------- /.gitpod.yml: -------------------------------------------------------------------------------- 1 | tasks: 2 | - init: pip install -r requirements.txt 3 | -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- 1 | jupyter 2 | numpy 3 | scipy 4 | matplotlib 5 | sympy -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- 1 | # SCM syntax highlighting 2 | pixi.lock linguist-language=YAML linguist-generated=true 3 | -------------------------------------------------------------------------------- /JOSE/build: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | pandoc \ 4 | -o paper.pdf \ 5 | --citeproc --bibliography=paper.bib \ 6 | paper.md 7 | -------------------------------------------------------------------------------- /reveal.js/lib/font/league-gothic/LICENSE: -------------------------------------------------------------------------------- 1 | SIL Open Font License (OFL) 2 | http://scripts.sil.org/cms/scripts/page.php?site_id=nrsi&id=OFL 3 | -------------------------------------------------------------------------------- /images/static/hadley-attractor.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/images/static/hadley-attractor.png -------------------------------------------------------------------------------- /images/static/lorenz-attractor.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/images/static/lorenz-attractor.png -------------------------------------------------------------------------------- /reveal.js/test/simple.md: -------------------------------------------------------------------------------- 1 | ## Slide 1.1 2 | 3 | ```js 4 | var a = 1; 5 | ``` 6 | 7 | 8 | ## Slide 1.2 9 | 10 | 11 | 12 | ## Slide 2 13 | -------------------------------------------------------------------------------- /images/justin-hu-oSyF_-CfXxA-unsplash.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/images/justin-hu-oSyF_-CfXxA-unsplash.jpg -------------------------------------------------------------------------------- /images/static/Forrester-World-Model.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/images/static/Forrester-World-Model.png -------------------------------------------------------------------------------- /reveal.js/test/examples/assets/image1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/test/examples/assets/image1.png -------------------------------------------------------------------------------- /reveal.js/test/examples/assets/image2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/test/examples/assets/image2.png -------------------------------------------------------------------------------- /examples/__pycache__/pendulum.cpython-37.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/examples/__pycache__/pendulum.cpython-37.pyc -------------------------------------------------------------------------------- /images/static/engin-akyurt-KUeJcc4YUug-unsplash.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/images/static/engin-akyurt-KUeJcc4YUug-unsplash.jpg -------------------------------------------------------------------------------- /images/static/jeremy-cai-B8UTPKlHNyw-unsplash.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/images/static/jeremy-cai-B8UTPKlHNyw-unsplash.jpg -------------------------------------------------------------------------------- /images/static/tomoko-uji-mrY6njRF7wk-unsplash.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/images/static/tomoko-uji-mrY6njRF7wk-unsplash.jpg -------------------------------------------------------------------------------- /reveal.js/lib/font/league-gothic/league-gothic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/league-gothic/league-gothic.eot -------------------------------------------------------------------------------- /reveal.js/lib/font/league-gothic/league-gothic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/league-gothic/league-gothic.ttf -------------------------------------------------------------------------------- /reveal.js/lib/font/league-gothic/league-gothic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/league-gothic/league-gothic.woff -------------------------------------------------------------------------------- /images/static/daniel-schludi-mAGZNECMcUg-unsplash.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/images/static/daniel-schludi-mAGZNECMcUg-unsplash.jpg -------------------------------------------------------------------------------- /images/static/jonathan-ridley-UgrU3AlHYo8-unsplash.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/images/static/jonathan-ridley-UgrU3AlHYo8-unsplash.jpg -------------------------------------------------------------------------------- /images/static/possessed-photography-dRMQiAubdws-unsplash.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/images/static/possessed-photography-dRMQiAubdws-unsplash.jpg -------------------------------------------------------------------------------- /reveal.js/lib/font/source-sans-pro/source-sans-pro-italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/source-sans-pro/source-sans-pro-italic.eot -------------------------------------------------------------------------------- /reveal.js/lib/font/source-sans-pro/source-sans-pro-italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/source-sans-pro/source-sans-pro-italic.ttf -------------------------------------------------------------------------------- /reveal.js/lib/font/source-sans-pro/source-sans-pro-italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/source-sans-pro/source-sans-pro-italic.woff -------------------------------------------------------------------------------- /reveal.js/lib/font/source-sans-pro/source-sans-pro-regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/source-sans-pro/source-sans-pro-regular.eot -------------------------------------------------------------------------------- /reveal.js/lib/font/source-sans-pro/source-sans-pro-regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/source-sans-pro/source-sans-pro-regular.ttf -------------------------------------------------------------------------------- /reveal.js/lib/font/source-sans-pro/source-sans-pro-regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/source-sans-pro/source-sans-pro-regular.woff -------------------------------------------------------------------------------- /reveal.js/lib/font/source-sans-pro/source-sans-pro-semibold.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibold.eot -------------------------------------------------------------------------------- /reveal.js/lib/font/source-sans-pro/source-sans-pro-semibold.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibold.ttf -------------------------------------------------------------------------------- /misc/build: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | pandoc \ 4 | --table-of-contents \ 5 | -o stability.pdf stability.txt 6 | 7 | pandoc \ 8 | --table-of-contents \ 9 | -o odes.pdf odes.txt 10 | 11 | 12 | -------------------------------------------------------------------------------- /reveal.js/lib/font/source-sans-pro/source-sans-pro-semibold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibold.woff -------------------------------------------------------------------------------- /images/static/640px-20180825_SP-LVD_Radom_Air_Show_1111_4948_DxO.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/images/static/640px-20180825_SP-LVD_Radom_Air_Show_1111_4948_DxO.jpg -------------------------------------------------------------------------------- /reveal.js/lib/font/source-sans-pro/source-sans-pro-semibolditalic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibolditalic.eot -------------------------------------------------------------------------------- /reveal.js/lib/font/source-sans-pro/source-sans-pro-semibolditalic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibolditalic.ttf -------------------------------------------------------------------------------- /reveal.js/lib/font/source-sans-pro/source-sans-pro-semibolditalic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/boisgera/control-engineering-with-python/HEAD/reveal.js/lib/font/source-sans-pro/source-sans-pro-semibolditalic.woff -------------------------------------------------------------------------------- /reveal.js/lib/js/html5shiv.js: -------------------------------------------------------------------------------- 1 | document.createElement('header'); 2 | document.createElement('nav'); 3 | document.createElement('section'); 4 | document.createElement('article'); 5 | document.createElement('aside'); 6 | document.createElement('footer'); 7 | document.createElement('hgroup'); -------------------------------------------------------------------------------- /publish: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | rm -f *.html *.ipynb images/*.svg # generated, untracked files in master 4 | git checkout gh-pages 5 | git merge master --no-edit -s recursive -Xtheirs 6 | ./build 7 | git add -f *.html *.ipynb images/*.svg 8 | git commit -am "new build" 9 | git push 10 | git checkout master 11 | -------------------------------------------------------------------------------- /reveal.js/test/test-markdown.js: -------------------------------------------------------------------------------- 1 | Reveal.addEventListener( 'ready', function() { 2 | 3 | QUnit.module( 'Markdown' ); 4 | 5 | QUnit.test( 'Vertical separator', function( assert ) { 6 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section>section' ).length, 2, 'found two slides' ); 7 | }); 8 | 9 | } ); 10 | 11 | Reveal.initialize(); 12 | -------------------------------------------------------------------------------- /environment.yml: -------------------------------------------------------------------------------- 1 | name: control 2 | channels: 3 | - conda-forge 4 | dependencies: 5 | - python=3.9 6 | - pip 7 | - black 8 | - numpy 9 | - scipy 10 | - autograd 11 | - sympy 12 | - matplotlib 13 | - jupyter 14 | - jupyterlab 15 | - curl 16 | - ffmpeg 17 | - lxml 18 | - tqdm 19 | - pandoc=2.17.1.1 20 | - pip: 21 | - pandoc==2.1 22 | - jupyterlite 23 | -------------------------------------------------------------------------------- /reveal.js/lib/font/league-gothic/league-gothic.css: -------------------------------------------------------------------------------- 1 | @font-face { 2 | font-family: 'League Gothic'; 3 | src: url('league-gothic.eot'); 4 | src: url('league-gothic.eot?#iefix') format('embedded-opentype'), 5 | url('league-gothic.woff') format('woff'), 6 | url('league-gothic.ttf') format('truetype'); 7 | 8 | font-weight: normal; 9 | font-style: normal; 10 | } -------------------------------------------------------------------------------- /reveal.js/test/test-pdf.js: -------------------------------------------------------------------------------- 1 | Reveal.addEventListener( 'ready', function() { 2 | 3 | // Only one test for now, we're mainly ensuring that there 4 | // are no execution errors when running PDF mode 5 | 6 | QUnit.test( 'Reveal.isReady', function( assert ) { 7 | assert.strictEqual( Reveal.isReady(), true, 'returns true' ); 8 | }); 9 | 10 | } ); 11 | 12 | Reveal.initialize({ pdf: true }); 13 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | # Conda environment 2 | env 3 | 4 | # VS Code 5 | .vscode 6 | 7 | # Node 8 | node_modules 9 | package-lock.json 10 | 11 | # Misc. 12 | __pycache__ 13 | misc 14 | sandbox 15 | .tmp.py 16 | 17 | # Outputs 18 | images/*.svg 19 | *.html 20 | *.pdf 21 | *.ipynb 22 | videos/*.mp4 23 | 24 | # ... but for examples 25 | !examples/* 26 | 27 | 28 | # pixi environments 29 | .pixi 30 | *.egg-info 31 | -------------------------------------------------------------------------------- /reveal.js/plugin/multiplex/client.js: -------------------------------------------------------------------------------- 1 | (function() { 2 | var multiplex = Reveal.getConfig().multiplex; 3 | var socketId = multiplex.id; 4 | var socket = io.connect(multiplex.url); 5 | 6 | socket.on(multiplex.id, function(data) { 7 | // ignore data from sockets that aren't ours 8 | if (data.socketId !== socketId) { return; } 9 | if( window.location.host === 'localhost:1947' ) return; 10 | 11 | Reveal.setState(data.state); 12 | }); 13 | }()); 14 | -------------------------------------------------------------------------------- /reveal.js/plugin/multiplex/package.json: -------------------------------------------------------------------------------- 1 | { 2 | "name": "reveal-js-multiplex", 3 | "version": "1.0.0", 4 | "description": "reveal.js multiplex server", 5 | "homepage": "http://revealjs.com", 6 | "scripts": { 7 | "start": "node index.js" 8 | }, 9 | "engines": { 10 | "node": "~4.1.1" 11 | }, 12 | "dependencies": { 13 | "express": "~4.13.3", 14 | "grunt-cli": "~0.1.13", 15 | "mustache": "~2.2.1", 16 | "socket.io": "~1.3.7" 17 | }, 18 | "license": "MIT" 19 | } 20 | -------------------------------------------------------------------------------- /examples/pendulum.py: -------------------------------------------------------------------------------- 1 | from numpy import sin 2 | 3 | _options = { 4 | "m": 1.0, 5 | "b": 0.1, 6 | "l": 1.0, 7 | "g": 9.81, 8 | } 9 | 10 | def configure(**options): 11 | _options.update(options) 12 | globals().update(_options) 13 | return _options 14 | 15 | configure() 16 | 17 | y0 = [0.0, 0.0] 18 | 19 | def u(t): 20 | return 0.0 21 | 22 | def fun(t, y): 23 | theta, d_theta = y 24 | J = m * l * l 25 | d2_theta = - g / l * sin(theta) - b / J * d_theta + u(t) / J 26 | return [d_theta, d2_theta] 27 | -------------------------------------------------------------------------------- /reveal.js/plugin/markdown/example.md: -------------------------------------------------------------------------------- 1 | # Markdown Demo 2 | 3 | 4 | 5 | ## External 1.1 6 | 7 | Content 1.1 8 | 9 | Note: This will only appear in the speaker notes window. 10 | 11 | 12 | ## External 1.2 13 | 14 | Content 1.2 15 | 16 | 17 | 18 | ## External 2 19 | 20 | Content 2.1 21 | 22 | 23 | 24 | ## External 3.1 25 | 26 | Content 3.1 27 | 28 | 29 | ## External 3.2 30 | 31 | Content 3.2 32 | 33 | 34 | ## External 3.3 35 | 36 | ![External Image](https://s3.amazonaws.com/static.slid.es/logo/v2/slides-symbol-512x512.png) 37 | -------------------------------------------------------------------------------- /reveal.js/bower.json: -------------------------------------------------------------------------------- 1 | { 2 | "name": "reveal.js", 3 | "version": "3.7.0", 4 | "main": [ 5 | "js/reveal.js", 6 | "css/reveal.css" 7 | ], 8 | "homepage": "http://revealjs.com", 9 | "license": "MIT", 10 | "description": "The HTML Presentation Framework", 11 | "authors": [ 12 | "Hakim El Hattab " 13 | ], 14 | "dependencies": { 15 | "headjs": "~1.0.3" 16 | }, 17 | "repository": { 18 | "type": "git", 19 | "url": "git://github.com/hakimel/reveal.js.git" 20 | }, 21 | "ignore": [ 22 | "**/.*", 23 | "node_modules", 24 | "bower_components", 25 | "test" 26 | ] 27 | } -------------------------------------------------------------------------------- /reveal.js/test/test-markdown-options.js: -------------------------------------------------------------------------------- 1 | Reveal.addEventListener( 'ready', function() { 2 | 3 | QUnit.module( 'Markdown' ); 4 | 5 | QUnit.test( 'Options are set', function( assert ) { 6 | assert.strictEqual( marked.defaults.smartypants, true ); 7 | }); 8 | 9 | QUnit.test( 'Smart quotes are activated', function( assert ) { 10 | var text = document.querySelector( '.reveal .slides>section>p' ).textContent; 11 | 12 | assert.strictEqual( /['"]/.test( text ), false ); 13 | assert.strictEqual( /[“”‘’]/.test( text ), true ); 14 | }); 15 | 16 | } ); 17 | 18 | Reveal.initialize({ 19 | dependencies: [ 20 | { src: '../plugin/markdown/marked.js' }, 21 | // Test loading JS files with query strings 22 | { src: '../plugin/markdown/markdown.js?query=string' }, 23 | ], 24 | markdown: { 25 | smartypants: true 26 | } 27 | }); 28 | -------------------------------------------------------------------------------- /reveal.js/test/test-markdown-external.js: -------------------------------------------------------------------------------- 1 | Reveal.addEventListener( 'ready', function() { 2 | 3 | QUnit.module( 'Markdown' ); 4 | 5 | QUnit.test( 'Vertical separator', function( assert ) { 6 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section>section' ).length, 2, 'found two slides' ); 7 | }); 8 | 9 | QUnit.test( 'Horizontal separator', function( assert ) { 10 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section' ).length, 2, 'found two slides' ); 11 | }); 12 | 13 | QUnit.test( 'Language highlighter', function( assert ) { 14 | assert.strictEqual( document.querySelectorAll( '.hljs-keyword' ).length, 1, 'got rendered highlight tag.' ); 15 | assert.strictEqual( document.querySelector( '.hljs-keyword' ).innerHTML, 'var', 'the same keyword: var.' ); 16 | }); 17 | 18 | } ); 19 | 20 | Reveal.initialize(); 21 | -------------------------------------------------------------------------------- /reveal.js/test/examples/barebones.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | reveal.js - Barebones 8 | 9 | 10 | 11 | 12 | 13 | 14 |
15 | 16 |
17 | 18 |
19 |

Barebones Presentation

20 |

This example contains the bare minimum includes and markup required to run a reveal.js presentation.

21 |
22 | 23 |
24 |

No Theme

25 |

There's no theme included, so it will fall back on browser defaults.

26 |
27 | 28 |
29 | 30 |
31 | 32 | 33 | 34 | 39 | 40 | 41 | 42 | -------------------------------------------------------------------------------- /JOSE/paper.bib: -------------------------------------------------------------------------------- 1 | 2 | @book{Sontag98, 3 | edition = {Second}, 4 | series = {Texts in {Applied} {Mathematics}}, 5 | title = {Mathematical {Control} {Theory}: {Deterministic} {Finite} {Dimensional} {Systems}}, 6 | volume = {6}, 7 | isbn = {0-387-98489-5}, 8 | publisher = {Springer}, 9 | author = {Sontag, Eduardo D.}, 10 | month = jul, 11 | year = {1998}, 12 | note = {Published: Hardcover}, 13 | } 14 | 15 | @online{CEWP, 16 | author = {Sébastien Boisgérault}, 17 | title = {Control Engineering with Python}, 18 | year = 2022, 19 | url = {https://github.com/boisgera/control-engineering-with-python}, 20 | urldate = {2022-08-31} 21 | } 22 | 23 | @online{MINES-MDSEE, 24 | title = {Master's degree in Science and Executive Engineering}, 25 | author = {Mines Paris, PSL}, 26 | year = {2021}, 27 | url = {https://mines-paristech.eu/Admissions/Master-degree-in-science-and-engineering/}, 28 | } -------------------------------------------------------------------------------- /.github/workflows/build.yml: -------------------------------------------------------------------------------- 1 | name: build 2 | on: 3 | push: 4 | branches: 5 | - master 6 | 7 | jobs: 8 | main: 9 | runs-on: ubuntu-latest 10 | steps: 11 | - name: Checkout 12 | uses: actions/checkout@v4 13 | 14 | - uses: prefix-dev/setup-pixi@v0.8.1 15 | with: 16 | cache: false # 🪲 Bug mitigation 17 | locked: false # 🪲 Bug mitigation 18 | environments: build 19 | 20 | - name: LaTeX Install 21 | run: sudo apt-get update && sudo apt-get install texlive-full 22 | 23 | - name: Slides & Notebooks Build 24 | run: pixi run build --pdf 25 | 26 | - name: Deployment Setup 27 | run: rm .gitignore 28 | 29 | - name: Deployment 30 | uses: JamesIves/github-pages-deploy-action@3.7.1 31 | with: 32 | GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} 33 | BRANCH: gh-pages 34 | FOLDER: "." 35 | SINGLE_COMMIT: true 36 | PRESERVE: true 37 | -------------------------------------------------------------------------------- /reveal.js/test/test-markdown-options.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | reveal.js - Test Markdown Options 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 |
16 |
17 | 18 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | -------------------------------------------------------------------------------- /reveal.js/test/test-markdown-external.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | reveal.js - Test Markdown 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 |
16 |
17 | 18 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | -------------------------------------------------------------------------------- /reveal.js/css/theme/source/night.scss: -------------------------------------------------------------------------------- 1 | /** 2 | * Black theme for reveal.js. 3 | * 4 | * Copyright (C) 2011-2012 Hakim El Hattab, http://hakim.se 5 | */ 6 | 7 | 8 | // Default mixins and settings ----------------- 9 | @import "../template/mixins"; 10 | @import "../template/settings"; 11 | // --------------------------------------------- 12 | 13 | 14 | // Include theme-specific fonts 15 | @import url(https://fonts.googleapis.com/css?family=Montserrat:700); 16 | @import url(https://fonts.googleapis.com/css?family=Open+Sans:400,700,400italic,700italic); 17 | 18 | 19 | // Override theme settings (see ../template/settings.scss) 20 | $backgroundColor: #111; 21 | 22 | $mainFont: 'Open Sans', sans-serif; 23 | $linkColor: #e7ad52; 24 | $linkColorHover: lighten( $linkColor, 20% ); 25 | $headingFont: 'Montserrat', Impact, sans-serif; 26 | $headingTextShadow: none; 27 | $headingLetterSpacing: -0.03em; 28 | $headingTextTransform: none; 29 | $selectionBackgroundColor: #e7ad52; 30 | 31 | 32 | // Theme template ------------------------------ 33 | @import "../template/theme"; 34 | // --------------------------------------------- -------------------------------------------------------------------------------- /reveal.js/plugin/multiplex/master.js: -------------------------------------------------------------------------------- 1 | (function() { 2 | 3 | // Don't emit events from inside of notes windows 4 | if ( window.location.search.match( /receiver/gi ) ) { return; } 5 | 6 | var multiplex = Reveal.getConfig().multiplex; 7 | 8 | var socket = io.connect( multiplex.url ); 9 | 10 | function post() { 11 | 12 | var messageData = { 13 | state: Reveal.getState(), 14 | secret: multiplex.secret, 15 | socketId: multiplex.id 16 | }; 17 | 18 | socket.emit( 'multiplex-statechanged', messageData ); 19 | 20 | }; 21 | 22 | // post once the page is loaded, so the client follows also on "open URL". 23 | window.addEventListener( 'load', post ); 24 | 25 | // Monitor events that trigger a change in state 26 | Reveal.addEventListener( 'slidechanged', post ); 27 | Reveal.addEventListener( 'fragmentshown', post ); 28 | Reveal.addEventListener( 'fragmenthidden', post ); 29 | Reveal.addEventListener( 'overviewhidden', post ); 30 | Reveal.addEventListener( 'overviewshown', post ); 31 | Reveal.addEventListener( 'paused', post ); 32 | Reveal.addEventListener( 'resumed', post ); 33 | 34 | }()); 35 | -------------------------------------------------------------------------------- /reveal.js/test/examples/embedded-media.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | reveal.js - Embedded Media 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 |
18 | 19 |
20 | 21 |
22 |

Embedded Media Test

23 |
24 | 25 |
26 | 27 |
28 | 29 |
30 |

Empty Slide

31 |
32 | 33 |
34 | 35 |
36 | 37 | 38 | 39 | 40 | 47 | 48 | 49 | 50 | -------------------------------------------------------------------------------- /reveal.js/CONTRIBUTING.md: -------------------------------------------------------------------------------- 1 | ## Contributing 2 | 3 | Please keep the [issue tracker](http://github.com/hakimel/reveal.js/issues) limited to **bug reports**, **feature requests** and **pull requests**. 4 | 5 | 6 | ### Personal Support 7 | If you have personal support or setup questions the best place to ask those are [StackOverflow](http://stackoverflow.com/questions/tagged/reveal.js). 8 | 9 | 10 | ### Bug Reports 11 | When reporting a bug make sure to include information about which browser and operating system you are on as well as the necessary steps to reproduce the issue. If possible please include a link to a sample presentation where the bug can be tested. 12 | 13 | 14 | ### Pull Requests 15 | - Should follow the coding style of the file you work in, most importantly: 16 | - Tabs to indent 17 | - Single-quoted strings 18 | - Should be made towards the **dev branch** 19 | - Should be submitted from a feature/topic branch (not your master) 20 | 21 | 22 | ### Plugins 23 | Please do not submit plugins as pull requests. They should be maintained in their own separate repository. More information here: https://github.com/hakimel/reveal.js/wiki/Plugin-Guidelines 24 | -------------------------------------------------------------------------------- /reveal.js/css/theme/source/serif.scss: -------------------------------------------------------------------------------- 1 | /** 2 | * A simple theme for reveal.js presentations, similar 3 | * to the default theme. The accent color is brown. 4 | * 5 | * This theme is Copyright (C) 2012-2013 Owen Versteeg, http://owenversteeg.com - it is MIT licensed. 6 | */ 7 | 8 | 9 | // Default mixins and settings ----------------- 10 | @import "../template/mixins"; 11 | @import "../template/settings"; 12 | // --------------------------------------------- 13 | 14 | 15 | 16 | // Override theme settings (see ../template/settings.scss) 17 | $mainFont: 'Palatino Linotype', 'Book Antiqua', Palatino, FreeSerif, serif; 18 | $mainColor: #000; 19 | $headingFont: 'Palatino Linotype', 'Book Antiqua', Palatino, FreeSerif, serif; 20 | $headingColor: #383D3D; 21 | $headingTextShadow: none; 22 | $headingTextTransform: none; 23 | $backgroundColor: #F0F1EB; 24 | $linkColor: #51483D; 25 | $linkColorHover: lighten( $linkColor, 20% ); 26 | $selectionBackgroundColor: #26351C; 27 | 28 | .reveal a { 29 | line-height: 1.3em; 30 | } 31 | 32 | 33 | // Theme template ------------------------------ 34 | @import "../template/theme"; 35 | // --------------------------------------------- 36 | -------------------------------------------------------------------------------- /reveal.js/LICENSE: -------------------------------------------------------------------------------- 1 | Copyright (C) 2018 Hakim El Hattab, http://hakim.se, and reveal.js contributors 2 | 3 | Permission is hereby granted, free of charge, to any person obtaining a copy 4 | of this software and associated documentation files (the "Software"), to deal 5 | in the Software without restriction, including without limitation the rights 6 | to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 7 | copies of the Software, and to permit persons to whom the Software is 8 | furnished to do so, subject to the following conditions: 9 | 10 | The above copyright notice and this permission notice shall be included in 11 | all copies or substantial portions of the Software. 12 | 13 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 14 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 15 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 16 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 17 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 18 | OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 19 | THE SOFTWARE. -------------------------------------------------------------------------------- /install.md: -------------------------------------------------------------------------------- 1 | Installation 2 | ============ 3 | 4 | To work with the project notebooks on your computer (instead of using [binder](https://mybinder.org/) in the cloud). 5 | 6 | 1. **Install the conda package manager.** 7 | 8 | Recommended: install [Anaconda Python 3.x distribution](https://www.anaconda.com/distribution/). 9 | Alternative: install [miniconda for Python 3.x](https://docs.conda.io/en/latest/miniconda.html). 10 | 11 | 2. **Download and extract the [zip archive](https://github.com/boisgera/control-engineering-with-python/archive/refs/heads/gh-pages.zip)** 12 | of the gh-pages branch. 13 | Then, open a terminal (or an "anaconda prompt") and enter the `control-engineering-with-python-gh-pages` directory. 14 | 15 | 3. **Install the project dependencies** with the command: 16 | 17 | $ conda env create -f environment.yml 18 | 19 | 4. **Activate the conda environment** with: 20 | 21 | $ conda activate control-engineering-with-python 22 | 23 | 5. **Launch the Jupyter notebook** with 24 | 25 | $ jupyter notebook 26 | 27 | The notebook opens in a new browser tab; select the `.ipynb` file you wish to work on. 28 | 29 | 30 | -------------------------------------------------------------------------------- /reveal.js/css/theme/template/settings.scss: -------------------------------------------------------------------------------- 1 | // Base settings for all themes that can optionally be 2 | // overridden by the super-theme 3 | 4 | // Background of the presentation 5 | $backgroundColor: #2b2b2b; 6 | 7 | // Primary/body text 8 | $mainFont: 'Lato', sans-serif; 9 | $mainFontSize: 40px; 10 | $mainColor: #eee; 11 | 12 | // Vertical spacing between blocks of text 13 | $blockMargin: 20px; 14 | 15 | // Headings 16 | $headingMargin: 0 0 $blockMargin 0; 17 | $headingFont: 'League Gothic', Impact, sans-serif; 18 | $headingColor: #eee; 19 | $headingLineHeight: 1.2; 20 | $headingLetterSpacing: normal; 21 | $headingTextTransform: uppercase; 22 | $headingTextShadow: none; 23 | $headingFontWeight: normal; 24 | $heading1TextShadow: $headingTextShadow; 25 | 26 | $heading1Size: 3.77em; 27 | $heading2Size: 2.11em; 28 | $heading3Size: 1.55em; 29 | $heading4Size: 1.00em; 30 | 31 | // Links and actions 32 | $linkColor: #13DAEC; 33 | $linkColorHover: lighten( $linkColor, 20% ); 34 | 35 | // Text selection 36 | $selectionBackgroundColor: #FF5E99; 37 | $selectionColor: #fff; 38 | 39 | // Generates the presentation background, can be overridden 40 | // to return a background image or gradient 41 | @mixin bodyBackground() { 42 | background: $backgroundColor; 43 | } -------------------------------------------------------------------------------- /reveal.js/css/theme/source/league.scss: -------------------------------------------------------------------------------- 1 | /** 2 | * League theme for reveal.js. 3 | * 4 | * This was the default theme pre-3.0.0. 5 | * 6 | * Copyright (C) 2011-2012 Hakim El Hattab, http://hakim.se 7 | */ 8 | 9 | 10 | // Default mixins and settings ----------------- 11 | @import "../template/mixins"; 12 | @import "../template/settings"; 13 | // --------------------------------------------- 14 | 15 | 16 | 17 | // Include theme-specific fonts 18 | @import url(../../lib/font/league-gothic/league-gothic.css); 19 | @import url(https://fonts.googleapis.com/css?family=Lato:400,700,400italic,700italic); 20 | 21 | // Override theme settings (see ../template/settings.scss) 22 | $headingTextShadow: 0px 0px 6px rgba(0,0,0,0.2); 23 | $heading1TextShadow: 0 1px 0 #ccc, 0 2px 0 #c9c9c9, 0 3px 0 #bbb, 0 4px 0 #b9b9b9, 0 5px 0 #aaa, 0 6px 1px rgba(0,0,0,.1), 0 0 5px rgba(0,0,0,.1), 0 1px 3px rgba(0,0,0,.3), 0 3px 5px rgba(0,0,0,.2), 0 5px 10px rgba(0,0,0,.25), 0 20px 20px rgba(0,0,0,.15); 24 | 25 | // Background generator 26 | @mixin bodyBackground() { 27 | @include radial-gradient( rgba(28,30,32,1), rgba(85,90,95,1) ); 28 | } 29 | 30 | 31 | 32 | // Theme template ------------------------------ 33 | @import "../template/theme"; 34 | // --------------------------------------------- -------------------------------------------------------------------------------- /reveal.js/package.json: -------------------------------------------------------------------------------- 1 | { 2 | "name": "reveal.js", 3 | "version": "3.7.0", 4 | "description": "The HTML Presentation Framework", 5 | "homepage": "http://revealjs.com", 6 | "subdomain": "revealjs", 7 | "main": "js/reveal.js", 8 | "scripts": { 9 | "test": "grunt test", 10 | "start": "grunt serve", 11 | "build": "grunt" 12 | }, 13 | "author": { 14 | "name": "Hakim El Hattab", 15 | "email": "hakim.elhattab@gmail.com", 16 | "web": "http://hakim.se" 17 | }, 18 | "repository": { 19 | "type": "git", 20 | "url": "git://github.com/hakimel/reveal.js.git" 21 | }, 22 | "engines": { 23 | "node": ">=4.0.0" 24 | }, 25 | "devDependencies": { 26 | "express": "^4.16.2", 27 | "grunt": "^1.0.1", 28 | "grunt-autoprefixer": "^3.0.4", 29 | "grunt-cli": "^1.2.0", 30 | "grunt-contrib-connect": "^1.0.2", 31 | "grunt-contrib-cssmin": "^2.2.1", 32 | "grunt-contrib-jshint": "^1.1.0", 33 | "grunt-contrib-qunit": "^2.0.0", 34 | "grunt-contrib-uglify": "^3.3.0", 35 | "grunt-contrib-watch": "^1.0.0", 36 | "grunt-sass": "^2.0.0", 37 | "grunt-retire": "^1.0.7", 38 | "grunt-zip": "~0.17.1", 39 | "mustache": "^2.3.0", 40 | "socket.io": "^1.7.3" 41 | }, 42 | "license": "MIT" 43 | } 44 | -------------------------------------------------------------------------------- /reveal.js/lib/css/zenburn.css: -------------------------------------------------------------------------------- 1 | /* 2 | 3 | Zenburn style from voldmar.ru (c) Vladimir Epifanov 4 | based on dark.css by Ivan Sagalaev 5 | 6 | */ 7 | 8 | .hljs { 9 | display: block; 10 | overflow-x: auto; 11 | padding: 0.5em; 12 | background: #3f3f3f; 13 | color: #dcdcdc; 14 | } 15 | 16 | .hljs-keyword, 17 | .hljs-selector-tag, 18 | .hljs-tag { 19 | color: #e3ceab; 20 | } 21 | 22 | .hljs-template-tag { 23 | color: #dcdcdc; 24 | } 25 | 26 | .hljs-number { 27 | color: #8cd0d3; 28 | } 29 | 30 | .hljs-variable, 31 | .hljs-template-variable, 32 | .hljs-attribute { 33 | color: #efdcbc; 34 | } 35 | 36 | .hljs-literal { 37 | color: #efefaf; 38 | } 39 | 40 | .hljs-subst { 41 | color: #8f8f8f; 42 | } 43 | 44 | .hljs-title, 45 | .hljs-name, 46 | .hljs-selector-id, 47 | .hljs-selector-class, 48 | .hljs-section, 49 | .hljs-type { 50 | color: #efef8f; 51 | } 52 | 53 | .hljs-symbol, 54 | .hljs-bullet, 55 | .hljs-link { 56 | color: #dca3a3; 57 | } 58 | 59 | .hljs-deletion, 60 | .hljs-string, 61 | .hljs-built_in, 62 | .hljs-builtin-name { 63 | color: #cc9393; 64 | } 65 | 66 | .hljs-addition, 67 | .hljs-comment, 68 | .hljs-quote, 69 | .hljs-meta { 70 | color: #7f9f7f; 71 | } 72 | 73 | 74 | .hljs-emphasis { 75 | font-style: italic; 76 | } 77 | 78 | .hljs-strong { 79 | font-weight: bold; 80 | } 81 | -------------------------------------------------------------------------------- /pixi.toml: -------------------------------------------------------------------------------- 1 | [project] 2 | authors = ["Sébastien Boisgérault "] 3 | channels = ["conda-forge"] 4 | description = "Control Engineering with Python" 5 | name = "control-engineering-with-python" 6 | platforms = ["linux-64", "win-64", "osx-64", "osx-arm64"] 7 | version = "0.1.0" 8 | 9 | [tasks] 10 | start = "jupyter lab" 11 | 12 | [dependencies] 13 | python = ">=3.13.1,<3.14" 14 | pip = ">=25.0,<26" 15 | black = ">=25.1.0,<26" 16 | numpy = ">=2.2.2,<3" 17 | scipy = ">=1.15.1,<2" 18 | autograd = ">=1.7.0,<2" 19 | matplotlib = ">=3.10.0,<4" 20 | jupyterlab = ">=4.3.5,<5" 21 | ffmpeg = ">=7.1.0,<8" 22 | tqdm = ">=4.67.1,<5" 23 | sympy = ">=1.13.3,<2" 24 | 25 | [feature.build] 26 | # The old version of pandoc used prevents building on osx-arm64 27 | platforms = ["linux-64", "win-64", "osx-64"] 28 | 29 | [feature.build.dependencies] 30 | curl = ">=8.11.1,<9" 31 | ffmpeg = ">=7.1.0,<8" 32 | lxml = ">=5.3.0,<6" 33 | pandoc = "2.17.1.1.*" 34 | nodejs = ">=22.12.0,<22.14" 35 | # texlive-core = "*" # not "good enough" for matplotlib 36 | 37 | [feature.build.activation] 38 | scripts = ["scripts/install-decktape.sh"] 39 | 40 | [feature.build.pypi-dependencies] 41 | pandoc = ">=2.4, <3" 42 | 43 | [feature.build.tasks] 44 | build = "./build" 45 | clean = "rm -rf *.html *.pdf *.ipynb" 46 | 47 | [environments] 48 | build = ["build"] 49 | -------------------------------------------------------------------------------- /.github/workflows/build.yml.bak: -------------------------------------------------------------------------------- 1 | name: build 2 | on: 3 | push: 4 | branches: 5 | - master 6 | 7 | jobs: 8 | main: 9 | runs-on: ubuntu-latest 10 | defaults: 11 | run: 12 | shell: bash -l {0} 13 | steps: 14 | - name: Checkout 15 | uses: actions/checkout@v4 16 | 17 | - name: Activate Conda Environment 18 | uses: conda-incubator/setup-miniconda@v2 19 | with: 20 | activate-environment: control 21 | environment-file: environment.yml 22 | 23 | - name: Display FFMPEG Info 24 | run: ffmpeg -version 25 | 26 | - name: LaTeX Install 27 | run: sudo apt-get update && sudo apt-get install texlive-full 28 | 29 | - name: Node Install 30 | uses: actions/setup-node@v2 31 | with: 32 | node-version: "18" 33 | 34 | - name: Decktape Install 35 | run: npm install -g decktape 36 | 37 | - name: Slides & Notebooks Build 38 | run: ./build --pdf 39 | 40 | - name: Deployment Setup 41 | run: rm .gitignore 42 | 43 | - name: Deployment 44 | uses: JamesIves/github-pages-deploy-action@3.7.1 45 | with: 46 | GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} 47 | BRANCH: gh-pages 48 | FOLDER: "." 49 | SINGLE_COMMIT: true 50 | PRESERVE: true 51 | -------------------------------------------------------------------------------- /reveal.js/css/theme/source/sky.scss: -------------------------------------------------------------------------------- 1 | /** 2 | * Sky theme for reveal.js. 3 | * 4 | * Copyright (C) 2011-2012 Hakim El Hattab, http://hakim.se 5 | */ 6 | 7 | 8 | // Default mixins and settings ----------------- 9 | @import "../template/mixins"; 10 | @import "../template/settings"; 11 | // --------------------------------------------- 12 | 13 | 14 | 15 | // Include theme-specific fonts 16 | @import url(https://fonts.googleapis.com/css?family=Quicksand:400,700,400italic,700italic); 17 | @import url(https://fonts.googleapis.com/css?family=Open+Sans:400italic,700italic,400,700); 18 | 19 | 20 | // Override theme settings (see ../template/settings.scss) 21 | $mainFont: 'Open Sans', sans-serif; 22 | $mainColor: #333; 23 | $headingFont: 'Quicksand', sans-serif; 24 | $headingColor: #333; 25 | $headingLetterSpacing: -0.08em; 26 | $headingTextShadow: none; 27 | $backgroundColor: #f7fbfc; 28 | $linkColor: #3b759e; 29 | $linkColorHover: lighten( $linkColor, 20% ); 30 | $selectionBackgroundColor: #134674; 31 | 32 | // Fix links so they are not cut off 33 | .reveal a { 34 | line-height: 1.3em; 35 | } 36 | 37 | // Background generator 38 | @mixin bodyBackground() { 39 | @include radial-gradient( #add9e4, #f7fbfc ); 40 | } 41 | 42 | 43 | 44 | // Theme template ------------------------------ 45 | @import "../template/theme"; 46 | // --------------------------------------------- 47 | -------------------------------------------------------------------------------- /.travis.yml.old: -------------------------------------------------------------------------------- 1 | dist: xenial 2 | language: bash 3 | 4 | env: 5 | global: 6 | - CONDA=https://repo.continuum.io/miniconda/Miniconda3-latest-Linux-x86_64.sh 7 | - MYBINDER=https://mybinder.org/v2/gh/boisgera/control-engineering-with-python/gh-pages 8 | 9 | before_install: 10 | - sudo apt-get --yes --force-yes install texlive-full 11 | - sudo apt-get install chromium-browser 12 | - curl $CONDA > conda.sh 13 | - bash conda.sh -b -p $HOME/conda 14 | - export PATH=$HOME/conda/bin:$PATH 15 | - hash -r 16 | - conda config --set always_yes yes --set changeps1 no 17 | - conda update conda 18 | - conda info -a # debugging 19 | - conda env create -f environment.yml 20 | - source activate control-engineering-with-python 21 | - conda install -c conda-forge nodejs=10.13.0 22 | - npm install -g --unsafe-perm hummus 23 | - npm install -g --unsafe-perm decktape 24 | 25 | install: 26 | - ./build # generate slides and notebooks 27 | - ./build-pdf 28 | - rm -rf src # pandoc from git, clean-up for deployment to gh-pages 29 | - rm -rf conda.sh # clean-up conda installer before deployment 30 | - mv .gitignore .gitignore.bak # for deployment to gh-pages 31 | 32 | deploy: 33 | provider: pages 34 | skip-cleanup: true 35 | github-token: $GITHUB_TOKEN 36 | on: 37 | branch: master 38 | 39 | script: 40 | - chromium-browser --headless --disable-gpu $MYBINDER 41 | 42 | -------------------------------------------------------------------------------- /reveal.js/css/theme/source/beige.scss: -------------------------------------------------------------------------------- 1 | /** 2 | * Beige theme for reveal.js. 3 | * 4 | * Copyright (C) 2011-2012 Hakim El Hattab, http://hakim.se 5 | */ 6 | 7 | 8 | // Default mixins and settings ----------------- 9 | @import "../template/mixins"; 10 | @import "../template/settings"; 11 | // --------------------------------------------- 12 | 13 | 14 | 15 | // Include theme-specific fonts 16 | @import url(../../lib/font/league-gothic/league-gothic.css); 17 | @import url(https://fonts.googleapis.com/css?family=Lato:400,700,400italic,700italic); 18 | 19 | 20 | // Override theme settings (see ../template/settings.scss) 21 | $mainColor: #333; 22 | $headingColor: #333; 23 | $headingTextShadow: none; 24 | $backgroundColor: #f7f3de; 25 | $linkColor: #8b743d; 26 | $linkColorHover: lighten( $linkColor, 20% ); 27 | $selectionBackgroundColor: rgba(79, 64, 28, 0.99); 28 | $heading1TextShadow: 0 1px 0 #ccc, 0 2px 0 #c9c9c9, 0 3px 0 #bbb, 0 4px 0 #b9b9b9, 0 5px 0 #aaa, 0 6px 1px rgba(0,0,0,.1), 0 0 5px rgba(0,0,0,.1), 0 1px 3px rgba(0,0,0,.3), 0 3px 5px rgba(0,0,0,.2), 0 5px 10px rgba(0,0,0,.25), 0 20px 20px rgba(0,0,0,.15); 29 | 30 | // Background generator 31 | @mixin bodyBackground() { 32 | @include radial-gradient( rgba(247,242,211,1), rgba(255,255,255,1) ); 33 | } 34 | 35 | 36 | 37 | // Theme template ------------------------------ 38 | @import "../template/theme"; 39 | // --------------------------------------------- -------------------------------------------------------------------------------- /reveal.js/css/theme/source/black.scss: -------------------------------------------------------------------------------- 1 | /** 2 | * Black theme for reveal.js. This is the opposite of the 'white' theme. 3 | * 4 | * By Hakim El Hattab, http://hakim.se 5 | */ 6 | 7 | 8 | // Default mixins and settings ----------------- 9 | @import "../template/mixins"; 10 | @import "../template/settings"; 11 | // --------------------------------------------- 12 | 13 | 14 | // Include theme-specific fonts 15 | @import url(../../lib/font/source-sans-pro/source-sans-pro.css); 16 | 17 | 18 | // Override theme settings (see ../template/settings.scss) 19 | $backgroundColor: #222; 20 | 21 | $mainColor: #fff; 22 | $headingColor: #fff; 23 | 24 | $mainFontSize: 42px; 25 | $mainFont: 'Source Sans Pro', Helvetica, sans-serif; 26 | $headingFont: 'Source Sans Pro', Helvetica, sans-serif; 27 | $headingTextShadow: none; 28 | $headingLetterSpacing: normal; 29 | $headingTextTransform: uppercase; 30 | $headingFontWeight: 600; 31 | $linkColor: #42affa; 32 | $linkColorHover: lighten( $linkColor, 15% ); 33 | $selectionBackgroundColor: lighten( $linkColor, 25% ); 34 | 35 | $heading1Size: 2.5em; 36 | $heading2Size: 1.6em; 37 | $heading3Size: 1.3em; 38 | $heading4Size: 1.0em; 39 | 40 | section.has-light-background { 41 | &, h1, h2, h3, h4, h5, h6 { 42 | color: #222; 43 | } 44 | } 45 | 46 | 47 | // Theme template ------------------------------ 48 | @import "../template/theme"; 49 | // --------------------------------------------- -------------------------------------------------------------------------------- /reveal.js/css/theme/source/white.scss: -------------------------------------------------------------------------------- 1 | /** 2 | * White theme for reveal.js. This is the opposite of the 'black' theme. 3 | * 4 | * By Hakim El Hattab, http://hakim.se 5 | */ 6 | 7 | 8 | // Default mixins and settings ----------------- 9 | @import "../template/mixins"; 10 | @import "../template/settings"; 11 | // --------------------------------------------- 12 | 13 | 14 | // Include theme-specific fonts 15 | @import url(../../lib/font/source-sans-pro/source-sans-pro.css); 16 | 17 | 18 | // Override theme settings (see ../template/settings.scss) 19 | $backgroundColor: #fff; 20 | 21 | $mainColor: #222; 22 | $headingColor: #222; 23 | 24 | $mainFontSize: 42px; 25 | $mainFont: 'Source Sans Pro', Helvetica, sans-serif; 26 | $headingFont: 'Source Sans Pro', Helvetica, sans-serif; 27 | $headingTextShadow: none; 28 | $headingLetterSpacing: normal; 29 | $headingTextTransform: uppercase; 30 | $headingFontWeight: 600; 31 | $linkColor: #2a76dd; 32 | $linkColorHover: lighten( $linkColor, 15% ); 33 | $selectionBackgroundColor: lighten( $linkColor, 25% ); 34 | 35 | $heading1Size: 2.5em; 36 | $heading2Size: 1.6em; 37 | $heading3Size: 1.3em; 38 | $heading4Size: 1.0em; 39 | 40 | section.has-dark-background { 41 | &, h1, h2, h3, h4, h5, h6 { 42 | color: #fff; 43 | } 44 | } 45 | 46 | 47 | // Theme template ------------------------------ 48 | @import "../template/theme"; 49 | // --------------------------------------------- -------------------------------------------------------------------------------- /reveal.js/test/test-markdown.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | reveal.js - Test Markdown 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 |
16 |
17 | 18 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | -------------------------------------------------------------------------------- /reveal.js/css/theme/source/simple.scss: -------------------------------------------------------------------------------- 1 | /** 2 | * A simple theme for reveal.js presentations, similar 3 | * to the default theme. The accent color is darkblue. 4 | * 5 | * This theme is Copyright (C) 2012 Owen Versteeg, https://github.com/StereotypicalApps. It is MIT licensed. 6 | * reveal.js is Copyright (C) 2011-2012 Hakim El Hattab, http://hakim.se 7 | */ 8 | 9 | 10 | // Default mixins and settings ----------------- 11 | @import "../template/mixins"; 12 | @import "../template/settings"; 13 | // --------------------------------------------- 14 | 15 | 16 | 17 | // Include theme-specific fonts 18 | @import url(https://fonts.googleapis.com/css?family=News+Cycle:400,700); 19 | @import url(https://fonts.googleapis.com/css?family=Lato:400,700,400italic,700italic); 20 | 21 | 22 | // Override theme settings (see ../template/settings.scss) 23 | $mainFont: 'Lato', sans-serif; 24 | $mainColor: #000; 25 | $headingFont: 'News Cycle', Impact, sans-serif; 26 | $headingColor: #000; 27 | $headingTextShadow: none; 28 | $headingTextTransform: none; 29 | $backgroundColor: #fff; 30 | $linkColor: #00008B; 31 | $linkColorHover: lighten( $linkColor, 20% ); 32 | $selectionBackgroundColor: rgba(0, 0, 0, 0.99); 33 | 34 | section.has-dark-background { 35 | &, h1, h2, h3, h4, h5, h6 { 36 | color: #fff; 37 | } 38 | } 39 | 40 | 41 | // Theme template ------------------------------ 42 | @import "../template/theme"; 43 | // --------------------------------------------- -------------------------------------------------------------------------------- /reveal.js/css/theme/source/moon.scss: -------------------------------------------------------------------------------- 1 | /** 2 | * Solarized Dark theme for reveal.js. 3 | * Author: Achim Staebler 4 | */ 5 | 6 | 7 | // Default mixins and settings ----------------- 8 | @import "../template/mixins"; 9 | @import "../template/settings"; 10 | // --------------------------------------------- 11 | 12 | 13 | 14 | // Include theme-specific fonts 15 | @import url(../../lib/font/league-gothic/league-gothic.css); 16 | @import url(https://fonts.googleapis.com/css?family=Lato:400,700,400italic,700italic); 17 | 18 | /** 19 | * Solarized colors by Ethan Schoonover 20 | */ 21 | html * { 22 | color-profile: sRGB; 23 | rendering-intent: auto; 24 | } 25 | 26 | // Solarized colors 27 | $base03: #002b36; 28 | $base02: #073642; 29 | $base01: #586e75; 30 | $base00: #657b83; 31 | $base0: #839496; 32 | $base1: #93a1a1; 33 | $base2: #eee8d5; 34 | $base3: #fdf6e3; 35 | $yellow: #b58900; 36 | $orange: #cb4b16; 37 | $red: #dc322f; 38 | $magenta: #d33682; 39 | $violet: #6c71c4; 40 | $blue: #268bd2; 41 | $cyan: #2aa198; 42 | $green: #859900; 43 | 44 | // Override theme settings (see ../template/settings.scss) 45 | $mainColor: $base1; 46 | $headingColor: $base2; 47 | $headingTextShadow: none; 48 | $backgroundColor: $base03; 49 | $linkColor: $blue; 50 | $linkColorHover: lighten( $linkColor, 20% ); 51 | $selectionBackgroundColor: $magenta; 52 | 53 | 54 | 55 | // Theme template ------------------------------ 56 | @import "../template/theme"; 57 | // --------------------------------------------- 58 | -------------------------------------------------------------------------------- /reveal.js/lib/js/classList.js: -------------------------------------------------------------------------------- 1 | /*! @source http://purl.eligrey.com/github/classList.js/blob/master/classList.js*/ 2 | if(typeof document!=="undefined"&&!("classList" in document.createElement("a"))){(function(j){var a="classList",f="prototype",m=(j.HTMLElement||j.Element)[f],b=Object,k=String[f].trim||function(){return this.replace(/^\s+|\s+$/g,"")},c=Array[f].indexOf||function(q){var p=0,o=this.length;for(;p 2 | 3 | 4 | 5 | 6 | 7 | reveal.js 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 23 | 24 | 25 |
26 |
27 |
Slide 1
28 |
Slide 2
29 |
30 |
31 | 32 | 33 | 34 | 35 | 48 | 49 | 50 | -------------------------------------------------------------------------------- /reveal.js/css/theme/source/solarized.scss: -------------------------------------------------------------------------------- 1 | /** 2 | * Solarized Light theme for reveal.js. 3 | * Author: Achim Staebler 4 | */ 5 | 6 | 7 | // Default mixins and settings ----------------- 8 | @import "../template/mixins"; 9 | @import "../template/settings"; 10 | // --------------------------------------------- 11 | 12 | 13 | 14 | // Include theme-specific fonts 15 | @import url(../../lib/font/league-gothic/league-gothic.css); 16 | @import url(https://fonts.googleapis.com/css?family=Lato:400,700,400italic,700italic); 17 | 18 | 19 | /** 20 | * Solarized colors by Ethan Schoonover 21 | */ 22 | html * { 23 | color-profile: sRGB; 24 | rendering-intent: auto; 25 | } 26 | 27 | // Solarized colors 28 | $base03: #002b36; 29 | $base02: #073642; 30 | $base01: #586e75; 31 | $base00: #657b83; 32 | $base0: #839496; 33 | $base1: #93a1a1; 34 | $base2: #eee8d5; 35 | $base3: #fdf6e3; 36 | $yellow: #b58900; 37 | $orange: #cb4b16; 38 | $red: #dc322f; 39 | $magenta: #d33682; 40 | $violet: #6c71c4; 41 | $blue: #268bd2; 42 | $cyan: #2aa198; 43 | $green: #859900; 44 | 45 | // Override theme settings (see ../template/settings.scss) 46 | $mainColor: $base00; 47 | $headingColor: $base01; 48 | $headingTextShadow: none; 49 | $backgroundColor: $base3; 50 | $linkColor: $blue; 51 | $linkColorHover: lighten( $linkColor, 20% ); 52 | $selectionBackgroundColor: $magenta; 53 | 54 | // Background generator 55 | // @mixin bodyBackground() { 56 | // @include radial-gradient( rgba($base3,1), rgba(lighten($base3, 20%),1) ); 57 | // } 58 | 59 | 60 | 61 | // Theme template ------------------------------ 62 | @import "../template/theme"; 63 | // --------------------------------------------- 64 | -------------------------------------------------------------------------------- /reveal.js/css/theme/template/mixins.scss: -------------------------------------------------------------------------------- 1 | @mixin vertical-gradient( $top, $bottom ) { 2 | background: $top; 3 | background: -moz-linear-gradient( top, $top 0%, $bottom 100% ); 4 | background: -webkit-gradient( linear, left top, left bottom, color-stop(0%,$top), color-stop(100%,$bottom) ); 5 | background: -webkit-linear-gradient( top, $top 0%, $bottom 100% ); 6 | background: -o-linear-gradient( top, $top 0%, $bottom 100% ); 7 | background: -ms-linear-gradient( top, $top 0%, $bottom 100% ); 8 | background: linear-gradient( top, $top 0%, $bottom 100% ); 9 | } 10 | 11 | @mixin horizontal-gradient( $top, $bottom ) { 12 | background: $top; 13 | background: -moz-linear-gradient( left, $top 0%, $bottom 100% ); 14 | background: -webkit-gradient( linear, left top, right top, color-stop(0%,$top), color-stop(100%,$bottom) ); 15 | background: -webkit-linear-gradient( left, $top 0%, $bottom 100% ); 16 | background: -o-linear-gradient( left, $top 0%, $bottom 100% ); 17 | background: -ms-linear-gradient( left, $top 0%, $bottom 100% ); 18 | background: linear-gradient( left, $top 0%, $bottom 100% ); 19 | } 20 | 21 | @mixin radial-gradient( $outer, $inner, $type: circle ) { 22 | background: $outer; 23 | background: -moz-radial-gradient( center, $type cover, $inner 0%, $outer 100% ); 24 | background: -webkit-gradient( radial, center center, 0px, center center, 100%, color-stop(0%,$inner), color-stop(100%,$outer) ); 25 | background: -webkit-radial-gradient( center, $type cover, $inner 0%, $outer 100% ); 26 | background: -o-radial-gradient( center, $type cover, $inner 0%, $outer 100% ); 27 | background: -ms-radial-gradient( center, $type cover, $inner 0%, $outer 100% ); 28 | background: radial-gradient( center, $type cover, $inner 0%, $outer 100% ); 29 | } -------------------------------------------------------------------------------- /reveal.js/test/test-pdf.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | reveal.js - Test PDF exports 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 |
17 |
18 | 19 | 75 | 76 | 77 | 78 | 79 | 80 | 81 | 82 | 83 | 84 | -------------------------------------------------------------------------------- /reveal.js/plugin/math/math.js: -------------------------------------------------------------------------------- 1 | /** 2 | * A plugin which enables rendering of math equations inside 3 | * of reveal.js slides. Essentially a thin wrapper for MathJax. 4 | * 5 | * @author Hakim El Hattab 6 | */ 7 | var RevealMath = window.RevealMath || (function(){ 8 | 9 | var options = Reveal.getConfig().math || {}; 10 | options.mathjax = options.mathjax || 'https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js'; 11 | options.config = options.config || 'TeX-AMS_HTML-full'; 12 | options.tex2jax = options.tex2jax || { 13 | inlineMath: [['$','$'],['\\(','\\)']] , 14 | skipTags: ['script','noscript','style','textarea','pre'] }; 15 | 16 | loadScript( options.mathjax + '?config=' + options.config, function() { 17 | 18 | MathJax.Hub.Config({ 19 | messageStyle: 'none', 20 | tex2jax: options.tex2jax, 21 | skipStartupTypeset: true 22 | }); 23 | 24 | // Typeset followed by an immediate reveal.js layout since 25 | // the typesetting process could affect slide height 26 | MathJax.Hub.Queue( [ 'Typeset', MathJax.Hub ] ); 27 | MathJax.Hub.Queue( Reveal.layout ); 28 | 29 | // Reprocess equations in slides when they turn visible 30 | Reveal.addEventListener( 'slidechanged', function( event ) { 31 | 32 | MathJax.Hub.Queue( [ 'Typeset', MathJax.Hub, event.currentSlide ] ); 33 | 34 | } ); 35 | 36 | } ); 37 | 38 | function loadScript( url, callback ) { 39 | 40 | var head = document.querySelector( 'head' ); 41 | var script = document.createElement( 'script' ); 42 | script.type = 'text/javascript'; 43 | script.src = url; 44 | 45 | // Wrapper for callback to make sure it only fires once 46 | var finish = function() { 47 | if( typeof callback === 'function' ) { 48 | callback.call(); 49 | callback = null; 50 | } 51 | } 52 | 53 | script.onload = finish; 54 | 55 | // IE 56 | script.onreadystatechange = function() { 57 | if ( this.readyState === 'loaded' ) { 58 | finish(); 59 | } 60 | } 61 | 62 | // Normal browsers 63 | head.appendChild( script ); 64 | 65 | } 66 | 67 | })(); 68 | -------------------------------------------------------------------------------- /reveal.js/plugin/multiplex/index.js: -------------------------------------------------------------------------------- 1 | var http = require('http'); 2 | var express = require('express'); 3 | var fs = require('fs'); 4 | var io = require('socket.io'); 5 | var crypto = require('crypto'); 6 | 7 | var app = express(); 8 | var staticDir = express.static; 9 | var server = http.createServer(app); 10 | 11 | io = io(server); 12 | 13 | var opts = { 14 | port: process.env.PORT || 1948, 15 | baseDir : __dirname + '/../../' 16 | }; 17 | 18 | io.on( 'connection', function( socket ) { 19 | socket.on('multiplex-statechanged', function(data) { 20 | if (typeof data.secret == 'undefined' || data.secret == null || data.secret === '') return; 21 | if (createHash(data.secret) === data.socketId) { 22 | data.secret = null; 23 | socket.broadcast.emit(data.socketId, data); 24 | }; 25 | }); 26 | }); 27 | 28 | [ 'css', 'js', 'plugin', 'lib' ].forEach(function(dir) { 29 | app.use('/' + dir, staticDir(opts.baseDir + dir)); 30 | }); 31 | 32 | app.get("/", function(req, res) { 33 | res.writeHead(200, {'Content-Type': 'text/html'}); 34 | 35 | var stream = fs.createReadStream(opts.baseDir + '/index.html'); 36 | stream.on('error', function( error ) { 37 | res.write('

reveal.js multiplex server.

Generate token'); 38 | res.end(); 39 | }); 40 | stream.on('readable', function() { 41 | stream.pipe(res); 42 | }); 43 | }); 44 | 45 | app.get("/token", function(req,res) { 46 | var ts = new Date().getTime(); 47 | var rand = Math.floor(Math.random()*9999999); 48 | var secret = ts.toString() + rand.toString(); 49 | res.send({secret: secret, socketId: createHash(secret)}); 50 | }); 51 | 52 | var createHash = function(secret) { 53 | var cipher = crypto.createCipher('blowfish', secret); 54 | return(cipher.final('hex')); 55 | }; 56 | 57 | // Actually listen 58 | server.listen( opts.port || null ); 59 | 60 | var brown = '\033[33m', 61 | green = '\033[32m', 62 | reset = '\033[0m'; 63 | 64 | console.log( brown + "reveal.js:" + reset + " Multiplex running on port " + green + opts.port + reset ); -------------------------------------------------------------------------------- /reveal.js/plugin/notes-server/index.js: -------------------------------------------------------------------------------- 1 | var http = require('http'); 2 | var express = require('express'); 3 | var fs = require('fs'); 4 | var io = require('socket.io'); 5 | var Mustache = require('mustache'); 6 | 7 | var app = express(); 8 | var staticDir = express.static; 9 | var server = http.createServer(app); 10 | 11 | io = io(server); 12 | 13 | var opts = { 14 | port : 1947, 15 | baseDir : __dirname + '/../../' 16 | }; 17 | 18 | io.on( 'connection', function( socket ) { 19 | 20 | socket.on( 'new-subscriber', function( data ) { 21 | socket.broadcast.emit( 'new-subscriber', data ); 22 | }); 23 | 24 | socket.on( 'statechanged', function( data ) { 25 | delete data.state.overview; 26 | socket.broadcast.emit( 'statechanged', data ); 27 | }); 28 | 29 | socket.on( 'statechanged-speaker', function( data ) { 30 | delete data.state.overview; 31 | socket.broadcast.emit( 'statechanged-speaker', data ); 32 | }); 33 | 34 | }); 35 | 36 | [ 'css', 'js', 'images', 'plugin', 'lib' ].forEach( function( dir ) { 37 | app.use( '/' + dir, staticDir( opts.baseDir + dir ) ); 38 | }); 39 | 40 | app.get('/', function( req, res ) { 41 | 42 | res.writeHead( 200, { 'Content-Type': 'text/html' } ); 43 | fs.createReadStream( opts.baseDir + '/index.html' ).pipe( res ); 44 | 45 | }); 46 | 47 | app.get( '/notes/:socketId', function( req, res ) { 48 | 49 | fs.readFile( opts.baseDir + 'plugin/notes-server/notes.html', function( err, data ) { 50 | res.send( Mustache.to_html( data.toString(), { 51 | socketId : req.params.socketId 52 | })); 53 | }); 54 | 55 | }); 56 | 57 | // Actually listen 58 | server.listen( opts.port || null ); 59 | 60 | var brown = '\033[33m', 61 | green = '\033[32m', 62 | reset = '\033[0m'; 63 | 64 | var slidesLocation = 'http://localhost' + ( opts.port ? ( ':' + opts.port ) : '' ); 65 | 66 | console.log( brown + 'reveal.js - Speaker Notes' + reset ); 67 | console.log( '1. Open the slides at ' + green + slidesLocation + reset ); 68 | console.log( '2. Click on the link in your JS console to go to the notes page' ); 69 | console.log( '3. Advance through your slides and your notes will advance automatically' ); 70 | -------------------------------------------------------------------------------- /reveal.js/css/theme/source/blood.scss: -------------------------------------------------------------------------------- 1 | /** 2 | * Blood theme for reveal.js 3 | * Author: Walther http://github.com/Walther 4 | * 5 | * Designed to be used with highlight.js theme 6 | * "monokai_sublime.css" available from 7 | * https://github.com/isagalaev/highlight.js/ 8 | * 9 | * For other themes, change $codeBackground accordingly. 10 | * 11 | */ 12 | 13 | // Default mixins and settings ----------------- 14 | @import "../template/mixins"; 15 | @import "../template/settings"; 16 | // --------------------------------------------- 17 | 18 | // Include theme-specific fonts 19 | 20 | @import url(https://fonts.googleapis.com/css?family=Ubuntu:300,700,300italic,700italic); 21 | 22 | // Colors used in the theme 23 | $blood: #a23; 24 | $coal: #222; 25 | $codeBackground: #23241f; 26 | 27 | $backgroundColor: $coal; 28 | 29 | // Main text 30 | $mainFont: Ubuntu, 'sans-serif'; 31 | $mainColor: #eee; 32 | 33 | // Headings 34 | $headingFont: Ubuntu, 'sans-serif'; 35 | $headingTextShadow: 2px 2px 2px $coal; 36 | 37 | // h1 shadow, borrowed humbly from 38 | // (c) Default theme by Hakim El Hattab 39 | $heading1TextShadow: 0 1px 0 #ccc, 0 2px 0 #c9c9c9, 0 3px 0 #bbb, 0 4px 0 #b9b9b9, 0 5px 0 #aaa, 0 6px 1px rgba(0,0,0,.1), 0 0 5px rgba(0,0,0,.1), 0 1px 3px rgba(0,0,0,.3), 0 3px 5px rgba(0,0,0,.2), 0 5px 10px rgba(0,0,0,.25), 0 20px 20px rgba(0,0,0,.15); 40 | 41 | // Links 42 | $linkColor: $blood; 43 | $linkColorHover: lighten( $linkColor, 20% ); 44 | 45 | // Text selection 46 | $selectionBackgroundColor: $blood; 47 | $selectionColor: #fff; 48 | 49 | 50 | // Theme template ------------------------------ 51 | @import "../template/theme"; 52 | // --------------------------------------------- 53 | 54 | // some overrides after theme template import 55 | 56 | .reveal p { 57 | font-weight: 300; 58 | text-shadow: 1px 1px $coal; 59 | } 60 | 61 | .reveal h1, 62 | .reveal h2, 63 | .reveal h3, 64 | .reveal h4, 65 | .reveal h5, 66 | .reveal h6 { 67 | font-weight: 700; 68 | } 69 | 70 | .reveal p code { 71 | background-color: $codeBackground; 72 | display: inline-block; 73 | border-radius: 7px; 74 | } 75 | 76 | .reveal small code { 77 | vertical-align: baseline; 78 | } -------------------------------------------------------------------------------- /reveal.js/plugin/notes-server/client.js: -------------------------------------------------------------------------------- 1 | (function() { 2 | 3 | // don't emit events from inside the previews themselves 4 | if( window.location.search.match( /receiver/gi ) ) { return; } 5 | 6 | var socket = io.connect( window.location.origin ), 7 | socketId = Math.random().toString().slice( 2 ); 8 | 9 | console.log( 'View slide notes at ' + window.location.origin + '/notes/' + socketId ); 10 | 11 | window.open( window.location.origin + '/notes/' + socketId, 'notes-' + socketId ); 12 | 13 | /** 14 | * Posts the current slide data to the notes window 15 | */ 16 | function post() { 17 | 18 | var slideElement = Reveal.getCurrentSlide(), 19 | notesElement = slideElement.querySelector( 'aside.notes' ); 20 | 21 | var messageData = { 22 | notes: '', 23 | markdown: false, 24 | socketId: socketId, 25 | state: Reveal.getState() 26 | }; 27 | 28 | // Look for notes defined in a slide attribute 29 | if( slideElement.hasAttribute( 'data-notes' ) ) { 30 | messageData.notes = slideElement.getAttribute( 'data-notes' ); 31 | } 32 | 33 | // Look for notes defined in an aside element 34 | if( notesElement ) { 35 | messageData.notes = notesElement.innerHTML; 36 | messageData.markdown = typeof notesElement.getAttribute( 'data-markdown' ) === 'string'; 37 | } 38 | 39 | socket.emit( 'statechanged', messageData ); 40 | 41 | } 42 | 43 | // When a new notes window connects, post our current state 44 | socket.on( 'new-subscriber', function( data ) { 45 | post(); 46 | } ); 47 | 48 | // When the state changes from inside of the speaker view 49 | socket.on( 'statechanged-speaker', function( data ) { 50 | Reveal.setState( data.state ); 51 | } ); 52 | 53 | // Monitor events that trigger a change in state 54 | Reveal.addEventListener( 'slidechanged', post ); 55 | Reveal.addEventListener( 'fragmentshown', post ); 56 | Reveal.addEventListener( 'fragmenthidden', post ); 57 | Reveal.addEventListener( 'overviewhidden', post ); 58 | Reveal.addEventListener( 'overviewshown', post ); 59 | Reveal.addEventListener( 'paused', post ); 60 | Reveal.addEventListener( 'resumed', post ); 61 | 62 | // Post the initial state 63 | post(); 64 | 65 | }()); 66 | -------------------------------------------------------------------------------- /reveal.js/plugin/print-pdf/print-pdf.js: -------------------------------------------------------------------------------- 1 | /** 2 | * phantomjs script for printing presentations to PDF. 3 | * 4 | * Example: 5 | * phantomjs print-pdf.js "http://revealjs.com?print-pdf" reveal-demo.pdf 6 | * 7 | * @author Manuel Bieh (https://github.com/manuelbieh) 8 | * @author Hakim El Hattab (https://github.com/hakimel) 9 | * @author Manuel Riezebosch (https://github.com/riezebosch) 10 | */ 11 | 12 | // html2pdf.js 13 | var system = require( 'system' ); 14 | 15 | var probePage = new WebPage(); 16 | var printPage = new WebPage(); 17 | 18 | var inputFile = system.args[1] || 'index.html?print-pdf'; 19 | var outputFile = system.args[2] || 'slides.pdf'; 20 | 21 | if( outputFile.match( /\.pdf$/gi ) === null ) { 22 | outputFile += '.pdf'; 23 | } 24 | 25 | console.log( 'Export PDF: Reading reveal.js config [1/4]' ); 26 | 27 | probePage.open( inputFile, function( status ) { 28 | 29 | console.log( 'Export PDF: Preparing print layout [2/4]' ); 30 | 31 | var config = probePage.evaluate( function() { 32 | return Reveal.getConfig(); 33 | } ); 34 | 35 | if( config ) { 36 | 37 | printPage.paperSize = { 38 | width: Math.floor( config.width * ( 1 + config.margin ) ), 39 | height: Math.floor( config.height * ( 1 + config.margin ) ), 40 | border: 0 41 | }; 42 | 43 | printPage.open( inputFile, function( status ) { 44 | console.log( 'Export PDF: Preparing pdf [3/4]') 45 | printPage.evaluate( function() { 46 | Reveal.isReady() ? window.callPhantom() : Reveal.addEventListener( 'pdf-ready', window.callPhantom ); 47 | } ); 48 | } ); 49 | 50 | printPage.onCallback = function( data ) { 51 | // For some reason we need to "jump the queue" for syntax highlighting to work. 52 | // See: http://stackoverflow.com/a/3580132/129269 53 | setTimeout( function() { 54 | console.log( 'Export PDF: Writing file [4/4]' ); 55 | printPage.render( outputFile ); 56 | console.log( 'Export PDF: Finished successfully!' ); 57 | phantom.exit(); 58 | }, 0 ); 59 | }; 60 | } 61 | else { 62 | 63 | console.log( 'Export PDF: Unable to read reveal.js config. Make sure the input address points to a reveal.js page.' ); 64 | phantom.exit( 1 ); 65 | 66 | } 67 | } ); 68 | -------------------------------------------------------------------------------- /reveal.js/test/test.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | reveal.js - Tests 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 |
16 |
17 | 18 | 78 | 79 | 80 | 81 | 82 | 83 | 84 | 85 | 86 | 87 | -------------------------------------------------------------------------------- /reveal.js/test/examples/slide-transitions.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | reveal.js - Slide Transitions 8 | 9 | 10 | 11 | 21 | 22 | 23 | 24 | 25 |
26 | 27 |
28 | 29 |
30 |

Default

31 |
32 | 33 |
34 |

Default

35 |
36 | 37 |
38 |

data-transition: zoom

39 |
40 | 41 |
42 |

data-transition: zoom-in fade-out

43 |
44 | 45 |
46 |

Default

47 |
48 | 49 |
50 |

data-transition: convex

51 |
52 | 53 |
54 |

data-transition: convex-in concave-out

55 |
56 | 57 |
58 |
59 |

Default

60 |
61 |
62 |

data-transition: concave

63 |
64 |
65 |

data-transition: convex-in fade-out

66 |
67 |
68 |

Default

69 |
70 |
71 | 72 |
73 |

data-transition: none

74 |
75 | 76 |
77 |

Default

78 |
79 | 80 |
81 | 82 |
83 | 84 | 85 | 86 | 87 | 99 | 100 | 101 | 102 | -------------------------------------------------------------------------------- /notes/notes.md: -------------------------------------------------------------------------------- 1 | % Notes 2 | 3 | Globally Asymptotically Stable imples Stable 4 | -------------------------------------------------------------------------------- 5 | 6 | (given my exotic definition of G.A.S). 7 | 8 | The aim: to show that for any $\epsilon > 0$, there is a $r >0$ such that 9 | $|x(0)| < r$ yields $|x(t)| < \epsilon$ for any $t \geq 0$. 10 | 11 | Denote $X(t, x_0)$ the solution $x(t)$ to $\dot{x} = f(x)$ such that 12 | $x(t) =x_0$ (we assume that $0$ is the equilibrium, that the system is 13 | autonomous and well-posed) 14 | 15 | Now, assume that the system is G.A.S. Pick the open unit ball $B = B(0,1)$ 16 | as the set of initial conditions. Since it is bounded, by definition of 17 | G.A.S., there is a $\tau > 0$ such that 18 | if $x(0) \in B$ and $t \geq \tau$ then $|x(t)| < \epsilon$, in other words, 19 | for any $t \geq \tau$, $X(t, B) \subset B(0, \epsilon)$. Let $V = X(t,B)$; 20 | if $x(0) \in V$, then for any $t\geq 0$, $|x(t)| < \epsilon$ (invariance 21 | by translation in time). Now, since $0$ is an equilibrium and $0 \in B$, 22 | $0 \in V$; since the reverse system (that goes back in time) is well-posed, 23 | if $|x(\tau)|$ is small enough, say smaller than $r$ some $r$, then $|x(0)|$ 24 | is smaller than $1$ and thus $x(0) \in B$; thus, $B(0, r) \subset V$. 25 | Consequently, if $|x(0)| < r$, $x(t) \in V$ and that gives 26 | us that $|x(t)| < \epsilon$ for any $t\geq 0$. 27 | 28 | Sketch of an alternative (simpler) proof (original idea by @c-joly): 29 | 30 | > Il faut montrer que si on fixe un voisinage V du pt d'équilibre et que l'on part d'assez prêt du pt d'eq, on ne sort jamais de V. La preuve c'est : 31 | > 32 | > - à long terme (t>tau), on sait qu'on est dans V par stabilité asymptotique (locale) si x0 est assez proche, 33 | > 34 | > - reste à s'assurer qu'on ne sort pas de V quand t <= tau. Mais x(t) = x_e est solution, si x(0) est assez proche de x_e, par continuité par rapport aux conditions initiales (caractère bien posé), c'est gagné. 35 | 36 | Local Attractive equivalent to Globally Asymptotically Stable 37 | -------------------------------------------------------------------------------- 38 | 39 | For $\dot{x} = A x$, $x \in \mathbb{R}^n$ 40 | 41 | Local attractive equivalent to globally attractive: use the homogeneity of 42 | the solution $x(t)$ wrt to the initial value $x(0)$. 43 | 44 | Globally attractive: to show that for any $\epsilon$ and any ball of radius $r$, 45 | there is a $\tau > 0$ such that if $x(0)$ is in the ball and $t\geq \tau$ then 46 | $|x(t)| < \epsilon$, decompose $x(0)$ as $\sum_i \lambda_i e_i$ and use the 47 | linearity of the flow and the fact that the system is attractive for each 48 | of the solutions associated to $x(0) = e_i$. 49 | -------------------------------------------------------------------------------- /reveal.js/test/test-markdown-element-attributes.js: -------------------------------------------------------------------------------- 1 | Reveal.addEventListener( 'ready', function() { 2 | 3 | QUnit.module( 'Markdown' ); 4 | 5 | QUnit.test( 'Vertical separator', function( assert ) { 6 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section>section' ).length, 4, 'found four slides' ); 7 | }); 8 | 9 | QUnit.test( 'Attributes on element header in vertical slides', function( assert ) { 10 | assert.strictEqual( document.querySelectorAll( '.reveal .slides section>section h2.fragment.fade-out' ).length, 1, 'found one vertical slide with class fragment.fade-out on header' ); 11 | assert.strictEqual( document.querySelectorAll( '.reveal .slides section>section h2.fragment.shrink' ).length, 1, 'found one vertical slide with class fragment.shrink on header' ); 12 | }); 13 | 14 | QUnit.test( 'Attributes on element paragraphs in vertical slides', function( assert ) { 15 | assert.strictEqual( document.querySelectorAll( '.reveal .slides section>section p.fragment.grow' ).length, 2, 'found a vertical slide with two paragraphs with class fragment.grow' ); 16 | }); 17 | 18 | QUnit.test( 'Attributes on element list items in vertical slides', function( assert ) { 19 | assert.strictEqual( document.querySelectorAll( '.reveal .slides section>section li.fragment.grow' ).length, 3, 'found a vertical slide with three list items with class fragment.grow' ); 20 | }); 21 | 22 | QUnit.test( 'Attributes on element paragraphs in horizontal slides', function( assert ) { 23 | assert.strictEqual( document.querySelectorAll( '.reveal .slides section p.fragment.highlight-red' ).length, 4, 'found a horizontal slide with four paragraphs with class fragment.grow' ); 24 | }); 25 | 26 | QUnit.test( 'Attributes on element list items in horizontal slides', function( assert ) { 27 | assert.strictEqual( document.querySelectorAll( '.reveal .slides section li.fragment.highlight-green' ).length, 5, 'found a horizontal slide with five list items with class fragment.roll-in' ); 28 | }); 29 | 30 | QUnit.test( 'Attributes on element image in horizontal slides', function( assert ) { 31 | assert.strictEqual( document.querySelectorAll( '.reveal .slides section img.reveal.stretch' ).length, 1, 'found a horizontal slide with stretched image, class img.reveal.stretch' ); 32 | }); 33 | 34 | QUnit.test( 'Attributes on elements in vertical slides with default element attribute separator', function( assert ) { 35 | assert.strictEqual( document.querySelectorAll( '.reveal .slides section h2.fragment.highlight-red' ).length, 2, 'found two h2 titles with fragment highlight-red in vertical slides with default element attribute separator' ); 36 | }); 37 | 38 | QUnit.test( 'Attributes on elements in single slides with default element attribute separator', function( assert ) { 39 | assert.strictEqual( document.querySelectorAll( '.reveal .slides section p.fragment.highlight-blue' ).length, 3, 'found three elements with fragment highlight-blue in single slide with default element attribute separator' ); 40 | }); 41 | 42 | } ); 43 | 44 | Reveal.initialize(); 45 | -------------------------------------------------------------------------------- /reveal.js/test/test-markdown-slide-attributes.js: -------------------------------------------------------------------------------- 1 | Reveal.addEventListener( 'ready', function() { 2 | 3 | QUnit.module( 'Markdown' ); 4 | 5 | QUnit.test( 'Vertical separator', function( assert ) { 6 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section>section' ).length, 6, 'found six vertical slides' ); 7 | }); 8 | 9 | QUnit.test( 'Id on slide', function( assert ) { 10 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section>section#slide2' ).length, 1, 'found one slide with id slide2' ); 11 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section>section a[href="#/slide2"]' ).length, 1, 'found one slide with a link to slide2' ); 12 | }); 13 | 14 | QUnit.test( 'data-background attributes', function( assert ) { 15 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section>section[data-background="#A0C66B"]' ).length, 1, 'found one vertical slide with data-background="#A0C66B"' ); 16 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section>section[data-background="#ff0000"]' ).length, 1, 'found one vertical slide with data-background="#ff0000"' ); 17 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section[data-background="#C6916B"]' ).length, 1, 'found one slide with data-background="#C6916B"' ); 18 | }); 19 | 20 | QUnit.test( 'data-transition attributes', function( assert ) { 21 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section>section[data-transition="zoom"]' ).length, 1, 'found one vertical slide with data-transition="zoom"' ); 22 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section>section[data-transition="fade"]' ).length, 1, 'found one vertical slide with data-transition="fade"' ); 23 | assert.strictEqual( document.querySelectorAll( '.reveal .slides section [data-transition="zoom"]' ).length, 1, 'found one slide with data-transition="zoom"' ); 24 | }); 25 | 26 | QUnit.test( 'data-background attributes with default separator', function( assert ) { 27 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section>section[data-background="#A7C66B"]' ).length, 1, 'found one vertical slide with data-background="#A0C66B"' ); 28 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section>section[data-background="#f70000"]' ).length, 1, 'found one vertical slide with data-background="#ff0000"' ); 29 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section[data-background="#C7916B"]' ).length, 1, 'found one slide with data-background="#C6916B"' ); 30 | }); 31 | 32 | QUnit.test( 'data-transition attributes with default separator', function( assert ) { 33 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section>section[data-transition="concave"]' ).length, 1, 'found one vertical slide with data-transition="zoom"' ); 34 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section>section[data-transition="page"]' ).length, 1, 'found one vertical slide with data-transition="fade"' ); 35 | assert.strictEqual( document.querySelectorAll( '.reveal .slides section [data-transition="concave"]' ).length, 1, 'found one slide with data-transition="zoom"' ); 36 | }); 37 | 38 | QUnit.test( 'data-transition attributes with inline content', function( assert ) { 39 | assert.strictEqual( document.querySelectorAll( '.reveal .slides>section[data-background="#ff0000"]' ).length, 3, 'found three horizontal slides with data-background="#ff0000"' ); 40 | }); 41 | 42 | } ); 43 | 44 | Reveal.initialize(); 45 | -------------------------------------------------------------------------------- /reveal.js/test/test-markdown-slide-attributes.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | reveal.js - Test Markdown Attributes 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 |
16 |
17 | 18 | 118 | 119 | 120 | 121 | 122 | 123 | 124 | 125 | 126 | 127 | 128 | 129 | -------------------------------------------------------------------------------- /reveal.js/css/print/pdf.css: -------------------------------------------------------------------------------- 1 | /** 2 | * This stylesheet is used to print reveal.js 3 | * presentations to PDF. 4 | * 5 | * https://github.com/hakimel/reveal.js#pdf-export 6 | */ 7 | 8 | * { 9 | -webkit-print-color-adjust: exact; 10 | } 11 | 12 | body { 13 | margin: 0 auto !important; 14 | border: 0; 15 | padding: 0; 16 | float: none !important; 17 | overflow: visible; 18 | } 19 | 20 | html { 21 | width: 100%; 22 | height: 100%; 23 | overflow: visible; 24 | } 25 | 26 | /* Remove any elements not needed in print. */ 27 | .nestedarrow, 28 | .reveal .controls, 29 | .reveal .progress, 30 | .reveal .playback, 31 | .reveal.overview, 32 | .fork-reveal, 33 | .share-reveal, 34 | .state-background { 35 | display: none !important; 36 | } 37 | 38 | h1, h2, h3, h4, h5, h6 { 39 | text-shadow: 0 0 0 #000 !important; 40 | } 41 | 42 | .reveal pre code { 43 | overflow: hidden !important; 44 | font-family: Courier, 'Courier New', monospace !important; 45 | } 46 | 47 | ul, ol, div, p { 48 | visibility: visible; 49 | position: static; 50 | width: auto; 51 | height: auto; 52 | display: block; 53 | overflow: visible; 54 | margin: auto; 55 | } 56 | .reveal { 57 | width: auto !important; 58 | height: auto !important; 59 | overflow: hidden !important; 60 | } 61 | .reveal .slides { 62 | position: static; 63 | width: 100% !important; 64 | height: auto !important; 65 | zoom: 1 !important; 66 | 67 | left: auto; 68 | top: auto; 69 | margin: 0 !important; 70 | padding: 0 !important; 71 | 72 | overflow: visible; 73 | display: block; 74 | 75 | perspective: none; 76 | perspective-origin: 50% 50%; 77 | } 78 | 79 | .reveal .slides .pdf-page { 80 | position: relative; 81 | overflow: hidden; 82 | z-index: 1; 83 | 84 | page-break-after: always; 85 | } 86 | 87 | .reveal .slides section { 88 | visibility: visible !important; 89 | display: block !important; 90 | position: absolute !important; 91 | 92 | margin: 0 !important; 93 | padding: 0 !important; 94 | box-sizing: border-box !important; 95 | min-height: 1px; 96 | 97 | opacity: 1 !important; 98 | 99 | transform-style: flat !important; 100 | transform: none !important; 101 | } 102 | 103 | .reveal section.stack { 104 | position: relative !important; 105 | margin: 0 !important; 106 | padding: 0 !important; 107 | page-break-after: avoid !important; 108 | height: auto !important; 109 | min-height: auto !important; 110 | } 111 | 112 | .reveal img { 113 | box-shadow: none; 114 | } 115 | 116 | .reveal .roll { 117 | overflow: visible; 118 | line-height: 1em; 119 | } 120 | 121 | /* Slide backgrounds are placed inside of their slide when exporting to PDF */ 122 | .reveal .slide-background { 123 | display: block !important; 124 | position: absolute; 125 | top: 0; 126 | left: 0; 127 | width: 100%; 128 | height: 100%; 129 | z-index: auto !important; 130 | } 131 | 132 | /* Display slide speaker notes when 'showNotes' is enabled */ 133 | .reveal.show-notes { 134 | max-width: none; 135 | max-height: none; 136 | } 137 | .reveal .speaker-notes-pdf { 138 | display: block; 139 | width: 100%; 140 | height: auto; 141 | max-height: none; 142 | top: auto; 143 | right: auto; 144 | bottom: auto; 145 | left: auto; 146 | z-index: 100; 147 | } 148 | 149 | /* Layout option which makes notes appear on a separate page */ 150 | .reveal .speaker-notes-pdf[data-layout="separate-page"] { 151 | position: relative; 152 | color: inherit; 153 | background-color: transparent; 154 | padding: 20px; 155 | page-break-after: always; 156 | border: 0; 157 | } 158 | 159 | /* Display slide numbers when 'slideNumber' is enabled */ 160 | .reveal .slide-number-pdf { 161 | display: block; 162 | position: absolute; 163 | font-size: 14px; 164 | } 165 | -------------------------------------------------------------------------------- /misc/images/main.py: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env python 2 | 3 | # Python 2.7 Standard Library 4 | from __future__ import division 5 | import gc 6 | import os 7 | 8 | # Third-Party Packages 9 | import numpy as np; np.seterr(all="ignore") 10 | import numpy.linalg as la 11 | import scipy.misc 12 | import matplotlib as mpl; mpl.use("Agg") 13 | import matplotlib.pyplot as pp 14 | import matplotlib.axes as ax 15 | import matplotlib.patches as pa 16 | 17 | 18 | # 19 | # Matplotlib Configuration & Helper Functions 20 | # ------------------------------------------------------------------------------ 21 | # 22 | rc = { 23 | "text.usetex": True, 24 | "pgf.preamble": [r"\usepackage{amsmath,amsfonts,amssymb}"], 25 | #"font.family": "serif", 26 | "font.serif": [], 27 | #"font.sans-serif": [], 28 | "legend.fontsize": 10, 29 | "axes.titlesize": 10, 30 | "axes.labelsize": 10, 31 | "xtick.labelsize": 10, 32 | "ytick.labelsize": 10, 33 | "savefig.dpi": 300 34 | } 35 | mpl.rcParams.update(rc) 36 | 37 | # Use PGF to render PDF with LaTeX fonts of the proper size. 38 | from matplotlib.backends.backend_pgf import FigureCanvasPgf 39 | mpl.backend_bases.register_backend("pdf", FigureCanvasPgf) 40 | 41 | # The width of the standard LaTeX document is 345.0 pt. 42 | width_in = 345.0 / 72.0 # nota: text height = 598 pt for A4, 550 pt for US Letter. 43 | 44 | def save(name, dpi=None): 45 | options = {} #{"bbox_inches": "tight"} 46 | if dpi: 47 | options["dpi"] = dpi 48 | cwd = os.getcwd() 49 | root = os.path.dirname(os.path.realpath(__file__)) 50 | os.chdir(root) 51 | pp.savefig(name + ".pdf", **options) 52 | pp.savefig(name + ".png", **options) 53 | pp.savefig(name + ".pgf", **options) 54 | pp.savefig(name + ".svg", **options) 55 | os.chdir(cwd) 56 | 57 | def set_ratio(ratio=1.0, bottom=0.1, top=0.1, left=0.1, right=0.1): 58 | height_in = (1.0 - left - right)/(1.0 - bottom - top) * width_in / ratio 59 | pp.gcf().set_size_inches((width_in, height_in)) 60 | pp.gcf().subplots_adjust(bottom=bottom, top=1.0-top, left=left, right=1.0-right) 61 | 62 | def dummy(): 63 | x = np.r_[0.0:4.0:0.01] 64 | y = np.r_[0.0:4.0:0.1] 65 | uv_shape = (len(y), len(x)) 66 | u = np.ones(uv_shape) 67 | v = np.zeros(uv_shape) + 0.1*u 68 | pp.streamplot(x, y, u, v) 69 | save("streamplot") 70 | 71 | def lotka_volterra(): 72 | pp.figure() 73 | 74 | Y, X = np.mgrid[0.0:2.0:200j, 0.0:4.0:200j] 75 | 76 | alpha = 2 / 3 77 | beta = 4 / 3 78 | delta = gamma = 1.0 79 | U = alpha * X - beta * X * Y 80 | V = delta * X * Y - gamma * Y 81 | 82 | pp.axes().set_aspect(1.0) 83 | pp.axes().axis([0.0, 4.0, 0.0, 2.0]) 84 | 85 | pp.streamplot(X, Y, U, V, color="k") 86 | 87 | height_in = width_in 88 | pp.gcf().set_size_inches((width_in, height_in)) # height_in ignored ? 89 | # weight_in does not match ? dpi issue ? Prob. cause changing width_in 90 | # does have an influence. 91 | 92 | # This is the bbox_in: tight options that is messing with us ... 93 | # (width and height). Investigate what that stuff is doing. 94 | 95 | save("prey-predator", dpi=180) # TODO: use "savefig.dpi" param instead in rc. 96 | 97 | 98 | def test(): 99 | 100 | fig, axes = pp.subplots(nrows=1, ncols=1) 101 | 102 | axes.plot([0,1,2], [0,1,1]) 103 | axes.axis([-0.1, 2.1, -0.1, 1.1]) 104 | #axes.set_aspect(8.0) 105 | 106 | fig.subplots_adjust(left=0.25, right=0.75) 107 | fig.set_size_inches((width_in, width_in)) 108 | 109 | 110 | pp.savefig("test.pdf") 111 | pp.savefig("test.png") 112 | 113 | if __name__ == "__main__": 114 | #dummy() 115 | #lotka_volterra() 116 | test() 117 | 118 | 119 | -------------------------------------------------------------------------------- /reveal.js/test/test-markdown-element-attributes.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | reveal.js - Test Markdown Element Attributes 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 |
16 |
17 | 18 | 124 | 125 | 126 | 127 | 128 | 129 | 130 | 131 | 132 | 133 | 134 | 135 | -------------------------------------------------------------------------------- /reveal.js/lib/font/source-sans-pro/LICENSE: -------------------------------------------------------------------------------- 1 | SIL Open Font License 2 | 3 | Copyright 2010, 2012 Adobe Systems Incorporated (http://www.adobe.com/), with Reserved Font Name ‘Source’. All Rights Reserved. Source is a trademark of Adobe Systems Incorporated in the United States and/or other countries. 4 | 5 | This Font Software is licensed under the SIL Open Font License, Version 1.1. 6 | This license is copied below, and is also available with a FAQ at: http://scripts.sil.org/OFL 7 | 8 | —————————————————————————————- 9 | SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007 10 | —————————————————————————————- 11 | 12 | PREAMBLE 13 | The goals of the Open Font License (OFL) are to stimulate worldwide development of collaborative font projects, to support the font creation efforts of academic and linguistic communities, and to provide a free and open framework in which fonts may be shared and improved in partnership with others. 14 | 15 | The OFL allows the licensed fonts to be used, studied, modified and redistributed freely as long as they are not sold by themselves. The fonts, including any derivative works, can be bundled, embedded, redistributed and/or sold with any software provided that any reserved names are not used by derivative works. The fonts and derivatives, however, cannot be released under any other type of license. The requirement for fonts to remain under this license does not apply to any document created using the fonts or their derivatives. 16 | 17 | DEFINITIONS 18 | “Font Software” refers to the set of files released by the Copyright Holder(s) under this license and clearly marked as such. This may include source files, build scripts and documentation. 19 | 20 | “Reserved Font Name” refers to any names specified as such after the copyright statement(s). 21 | 22 | “Original Version” refers to the collection of Font Software components as distributed by the Copyright Holder(s). 23 | 24 | “Modified Version” refers to any derivative made by adding to, deleting, or substituting—in part or in whole—any of the components of the Original Version, by changing formats or by porting the Font Software to a new environment. 25 | 26 | “Author” refers to any designer, engineer, programmer, technical writer or other person who contributed to the Font Software. 27 | 28 | PERMISSION & CONDITIONS 29 | Permission is hereby granted, free of charge, to any person obtaining a copy of the Font Software, to use, study, copy, merge, embed, modify, redistribute, and sell modified and unmodified copies of the Font Software, subject to the following conditions: 30 | 31 | 1) Neither the Font Software nor any of its individual components, in Original or Modified Versions, may be sold by itself. 32 | 33 | 2) Original or Modified Versions of the Font Software may be bundled, redistributed and/or sold with any software, provided that each copy contains the above copyright notice and this license. These can be included either as stand-alone text files, human-readable headers or in the appropriate machine-readable metadata fields within text or binary files as long as those fields can be easily viewed by the user. 34 | 35 | 3) No Modified Version of the Font Software may use the Reserved Font Name(s) unless explicit written permission is granted by the corresponding Copyright Holder. This restriction only applies to the primary font name as presented to the users. 36 | 37 | 4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font Software shall not be used to promote, endorse or advertise any Modified Version, except to acknowledge the contribution(s) of the Copyright Holder(s) and the Author(s) or with their explicit written permission. 38 | 39 | 5) The Font Software, modified or unmodified, in part or in whole, must be distributed entirely under this license, and must not be distributed under any other license. The requirement for fonts to remain under this license does not apply to any document created using the Font Software. 40 | 41 | TERMINATION 42 | This license becomes null and void if any of the above conditions are not met. 43 | 44 | DISCLAIMER 45 | THE FONT SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM OTHER DEALINGS IN THE FONT SOFTWARE. -------------------------------------------------------------------------------- /reveal.js/Gruntfile.js: -------------------------------------------------------------------------------- 1 | /* global module:false */ 2 | module.exports = function(grunt) { 3 | var port = grunt.option('port') || 8000; 4 | var root = grunt.option('root') || '.'; 5 | 6 | if (!Array.isArray(root)) root = [root]; 7 | 8 | // Project configuration 9 | grunt.initConfig({ 10 | pkg: grunt.file.readJSON('package.json'), 11 | meta: { 12 | banner: 13 | '/*!\n' + 14 | ' * reveal.js <%= pkg.version %> (<%= grunt.template.today("yyyy-mm-dd, HH:MM") %>)\n' + 15 | ' * http://revealjs.com\n' + 16 | ' * MIT licensed\n' + 17 | ' *\n' + 18 | ' * Copyright (C) 2018 Hakim El Hattab, http://hakim.se\n' + 19 | ' */' 20 | }, 21 | 22 | qunit: { 23 | files: [ 'test/*.html' ] 24 | }, 25 | 26 | uglify: { 27 | options: { 28 | banner: '<%= meta.banner %>\n', 29 | ie8: true 30 | }, 31 | build: { 32 | src: 'js/reveal.js', 33 | dest: 'js/reveal.min.js' 34 | } 35 | }, 36 | 37 | sass: { 38 | core: { 39 | src: 'css/reveal.scss', 40 | dest: 'css/reveal.css' 41 | }, 42 | themes: { 43 | expand: true, 44 | cwd: 'css/theme/source', 45 | src: ['*.sass', '*.scss'], 46 | dest: 'css/theme', 47 | ext: '.css' 48 | } 49 | }, 50 | 51 | autoprefixer: { 52 | core: { 53 | src: 'css/reveal.css' 54 | } 55 | }, 56 | 57 | cssmin: { 58 | options: { 59 | compatibility: 'ie9' 60 | }, 61 | compress: { 62 | src: 'css/reveal.css', 63 | dest: 'css/reveal.min.css' 64 | } 65 | }, 66 | 67 | jshint: { 68 | options: { 69 | curly: false, 70 | eqeqeq: true, 71 | immed: true, 72 | esnext: true, 73 | latedef: 'nofunc', 74 | newcap: true, 75 | noarg: true, 76 | sub: true, 77 | undef: true, 78 | eqnull: true, 79 | browser: true, 80 | expr: true, 81 | loopfunc: true, 82 | globals: { 83 | head: false, 84 | module: false, 85 | console: false, 86 | unescape: false, 87 | define: false, 88 | exports: false 89 | } 90 | }, 91 | files: [ 'Gruntfile.js', 'js/reveal.js' ] 92 | }, 93 | 94 | connect: { 95 | server: { 96 | options: { 97 | port: port, 98 | base: root, 99 | livereload: true, 100 | open: true, 101 | useAvailablePort: true 102 | } 103 | } 104 | }, 105 | 106 | zip: { 107 | bundle: { 108 | src: [ 109 | 'index.html', 110 | 'css/**', 111 | 'js/**', 112 | 'lib/**', 113 | 'images/**', 114 | 'plugin/**', 115 | '**.md' 116 | ], 117 | dest: 'reveal-js-presentation.zip' 118 | } 119 | }, 120 | 121 | watch: { 122 | js: { 123 | files: [ 'Gruntfile.js', 'js/reveal.js' ], 124 | tasks: 'js' 125 | }, 126 | theme: { 127 | files: [ 128 | 'css/theme/source/*.sass', 129 | 'css/theme/source/*.scss', 130 | 'css/theme/template/*.sass', 131 | 'css/theme/template/*.scss' 132 | ], 133 | tasks: 'css-themes' 134 | }, 135 | css: { 136 | files: [ 'css/reveal.scss' ], 137 | tasks: 'css-core' 138 | }, 139 | html: { 140 | files: root.map(path => path + '/*.html') 141 | }, 142 | markdown: { 143 | files: root.map(path => path + '/*.md') 144 | }, 145 | options: { 146 | livereload: true 147 | } 148 | }, 149 | 150 | retire: { 151 | js: [ 'js/reveal.js', 'lib/js/*.js', 'plugin/**/*.js' ], 152 | node: [ '.' ] 153 | } 154 | 155 | }); 156 | 157 | // Dependencies 158 | grunt.loadNpmTasks( 'grunt-contrib-connect' ); 159 | grunt.loadNpmTasks( 'grunt-contrib-cssmin' ); 160 | grunt.loadNpmTasks( 'grunt-contrib-jshint' ); 161 | grunt.loadNpmTasks( 'grunt-contrib-qunit' ); 162 | grunt.loadNpmTasks( 'grunt-contrib-uglify' ); 163 | grunt.loadNpmTasks( 'grunt-contrib-watch' ); 164 | grunt.loadNpmTasks( 'grunt-autoprefixer' ); 165 | grunt.loadNpmTasks( 'grunt-retire' ); 166 | grunt.loadNpmTasks( 'grunt-sass' ); 167 | grunt.loadNpmTasks( 'grunt-zip' ); 168 | 169 | // Default task 170 | grunt.registerTask( 'default', [ 'css', 'js' ] ); 171 | 172 | // JS task 173 | grunt.registerTask( 'js', [ 'jshint', 'uglify', 'qunit' ] ); 174 | 175 | // Theme CSS 176 | grunt.registerTask( 'css-themes', [ 'sass:themes' ] ); 177 | 178 | // Core framework CSS 179 | grunt.registerTask( 'css-core', [ 'sass:core', 'autoprefixer', 'cssmin' ] ); 180 | 181 | // All CSS 182 | grunt.registerTask( 'css', [ 'sass', 'autoprefixer', 'cssmin' ] ); 183 | 184 | // Package presentation to archive 185 | grunt.registerTask( 'package', [ 'default', 'zip' ] ); 186 | 187 | // Serve presentation locally 188 | grunt.registerTask( 'serve', [ 'connect', 'watch' ] ); 189 | 190 | // Run tests 191 | grunt.registerTask( 'test', [ 'jshint', 'qunit' ] ); 192 | 193 | }; 194 | -------------------------------------------------------------------------------- /reveal.js/test/examples/slide-backgrounds.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | reveal.js - Slide Backgrounds 8 | 9 | 10 | 11 | 12 | 13 | 23 | 24 | 25 | 26 | 27 |
28 | 29 |
30 | 31 |
32 |

data-background: #00ffff

33 |
34 | 35 |
36 |

data-background: #bb00bb

37 |
38 | 39 |
40 |

data-background: lightblue

41 |
42 | 43 |
44 |
45 |

data-background: #ff0000

46 |
47 |
48 |

data-background: rgba(0, 0, 0, 0.2)

49 |
50 |
51 |

data-background: salmon

52 |
53 |
54 | 55 |
56 |
57 |

Background applied to stack

58 |
59 |
60 |

Background applied to stack

61 |
62 |
63 |

Background applied to slide inside of stack

64 |
65 |
66 | 67 |
68 |

Background image

69 |
70 | 71 |
72 |
73 |

Background image

74 |
75 |
76 |

Background image

77 |
78 |
79 | 80 |
81 |

Background image

82 | 
data-background-size="100px" data-background-repeat="repeat" data-background-color="#111"
83 |
84 | 85 |
86 |

Same background twice (1/2)

87 |
88 |
89 |

Same background twice (2/2)

90 |
91 | 92 |
93 |

Video background

94 |
95 | 96 |
97 |

Iframe background

98 |
99 | 100 |
101 |
102 |

Same background twice vertical (1/2)

103 |
104 |
105 |

Same background twice vertical (2/2)

106 |
107 |
108 | 109 |
110 |

Same background from horizontal to vertical (1/3)

111 |
112 |
113 |
114 |

Same background from horizontal to vertical (2/3)

115 |
116 |
117 |

Same background from horizontal to vertical (3/3)

118 |
119 |
120 | 121 |
122 | 123 |
124 | 125 | 126 | 127 | 128 | 142 | 143 | 144 | 145 | -------------------------------------------------------------------------------- /mivp.py: -------------------------------------------------------------------------------- 1 | # Third-Party Libraries 2 | import numpy as np 3 | import scipy.integrate as sci 4 | import matplotlib.pyplot as plt 5 | import matplotlib.animation as ani 6 | 7 | # TODO: support progress handler in move generation (for tqdm) 8 | 9 | def solve(**kwargs): 10 | kwargs = kwargs.copy() 11 | kwargs["dense_output"] = True 12 | y0s = kwargs["y0s"] 13 | del kwargs["y0s"] 14 | results = [] 15 | for y0 in y0s: 16 | kwargs["y0"] = y0 17 | result = sci.solve_ivp(**kwargs) 18 | results.append(result) 19 | return results 20 | 21 | 22 | def solve_alt(**kwargs): 23 | kwargs = kwargs.copy() 24 | # kwargs["dense_output"] = True 25 | boundary = kwargs["boundary"] 26 | del kwargs["boundary"] 27 | # boundary_n = kwargs["boundary_n"] 28 | # del kwargs["boundary_n"] 29 | boundary_atol = kwargs.get("boundary_atol", 0.01) 30 | del kwargs["boundary_atol"] 31 | boundary_rtol = kwargs.get("boundary_rtol", 0.1) 32 | del kwargs["boundary_rtol"] 33 | t_eval = kwargs["t_eval"] 34 | kwargs["t_span"] = (t_eval[0], t_eval[-1]) 35 | 36 | # assert boundary_n >= 4 # ultimately, min_n, max_n ? 37 | data = [np.zeros((2, len(t_eval)), dtype=np.float64) for _ in range(4)] 38 | 39 | s = list(np.linspace(0.0, 1.0, 4)) 40 | # print(f"{t_eval}") 41 | y0s = boundary(np.array(s)) 42 | # print(f"{np.shape(y0s)=}") 43 | # print(y0s) 44 | for i, y0 in enumerate(y0s): 45 | kwargs["y0"] = y0 46 | result = sci.solve_ivp(**kwargs) 47 | # print(f"{np.shape(data)=} {np.shape(result.y)=}") 48 | data[i] = result.y 49 | 50 | while True: 51 | data_array = np.array(data) 52 | x, y = data_array[:, 0], data_array[:, 1] 53 | d = np.sqrt(x * x + y * y)[:, :-1] 54 | error = boundary_atol + boundary_rtol * d 55 | # compute max and index that corresponds ? 56 | dxdy = np.diff(data, axis=0) 57 | dx, dy = dxdy[:, 0], dxdy[:, 1] 58 | dd = np.sqrt(dx * dx + dy * dy) 59 | if np.all(np.amax(dd) <= error): 60 | break 61 | index_flat = np.argmax(dd) 62 | i, j = divmod(index_flat, np.shape(dd)[1]) 63 | assert np.amax(dd) == dd[i, j] # may fail when nan/infs? 64 | # with vinograd, np.amax(dd) may be nan if we include the origin. 65 | # Investigate ! 66 | # print(f"{len(data)=} {(i, j)=}", f"{np.amax(dd)=}") 67 | 68 | s.insert(i + 1, 0.5 * (s[i] + s[i + 1])) 69 | y0 = boundary(np.array([s[i + 1]]))[0] 70 | kwargs["y0"] = y0 71 | result = sci.solve_ivp(**kwargs) 72 | data.insert(i + 1, result.y) 73 | 74 | # print(np.shape(data)) 75 | reshaped_data = np.einsum("kji", data) 76 | # print(np.shape(reshaped_data)) 77 | return reshaped_data 78 | 79 | 80 | def get_data(results, t): 81 | n = len(results) 82 | data = np.zeros((len(t), 2, n)) 83 | for i, r in enumerate(results): 84 | sol_t = r.sol(t) 85 | data[:, :, i] = sol_t.T 86 | return data 87 | 88 | 89 | def generate_movie(data, filename, fps, axes=None, **options): 90 | #print(axes, options) 91 | fig = None 92 | if axes: 93 | fig = axes.get_figure() 94 | if not fig: 95 | fig = plt.figure(figsize=(16, 9)) 96 | axes = fig.subplots() 97 | axes.axis("equal") 98 | ratio = 16 / 9 99 | x_max = np.amax(data[:, 0, :]) 100 | x_min = np.amin(data[:, 0, :]) 101 | y_max = np.amax(data[:, 1, :]) 102 | y_min = np.amin(data[:, 1, :]) 103 | 104 | # Create a margin 105 | x_c, y_c = 0.5 * (x_max + x_min), 0.5 * (y_max + y_min) 106 | width, height = x_max - x_min, y_max - y_min 107 | x_min = x_min - 0.1 * width 108 | x_max = x_max + 0.1 * width 109 | y_min = y_min - 0.1 * width 110 | y_max = y_max + 0.1 * width 111 | width, height = x_max - x_min, y_max - y_min 112 | 113 | if width / height <= ratio: # adjust width 114 | width = height * ratio 115 | x_min, x_max = x_c - 0.5 * width, x_c + 0.5 * width 116 | else: # adjust height 117 | height = width / ratio 118 | y_min, y_max = y_c - 0.5 * height, y_c + 0.5 * height 119 | axes.axis([x_min, x_max, y_min, y_max]) 120 | fig.subplots_adjust(0, 0, 1, 1) 121 | axes.axis("off") 122 | 123 | polygon = None 124 | 125 | def update(i): 126 | nonlocal polygon 127 | x, y = data[i] 128 | if polygon: 129 | polygon.remove() 130 | polygon = axes.fill(x, y, **options)[0] 131 | 132 | writer = ani.FFMpegWriter(fps=fps) 133 | animation = ani.FuncAnimation(fig, func=update, frames=len(data)) 134 | animation.save(filename, writer=writer, dpi=300) 135 | -------------------------------------------------------------------------------- /reveal.js/plugin/notes/notes.js: -------------------------------------------------------------------------------- 1 | /** 2 | * Handles opening of and synchronization with the reveal.js 3 | * notes window. 4 | * 5 | * Handshake process: 6 | * 1. This window posts 'connect' to notes window 7 | * - Includes URL of presentation to show 8 | * 2. Notes window responds with 'connected' when it is available 9 | * 3. This window proceeds to send the current presentation state 10 | * to the notes window 11 | */ 12 | var RevealNotes = (function() { 13 | 14 | function openNotes( notesFilePath ) { 15 | 16 | if( !notesFilePath ) { 17 | var jsFileLocation = document.querySelector('script[src$="notes.js"]').src; // this js file path 18 | jsFileLocation = jsFileLocation.replace(/notes\.js(\?.*)?$/, ''); // the js folder path 19 | notesFilePath = jsFileLocation + 'notes.html'; 20 | } 21 | 22 | var notesPopup = window.open( notesFilePath, 'reveal.js - Notes', 'width=1100,height=700' ); 23 | 24 | if( !notesPopup ) { 25 | alert( 'Speaker view popup failed to open. Please make sure popups are allowed and reopen the speaker view.' ); 26 | return; 27 | } 28 | 29 | // Allow popup window access to Reveal API 30 | notesPopup.Reveal = window.Reveal; 31 | 32 | /** 33 | * Connect to the notes window through a postmessage handshake. 34 | * Using postmessage enables us to work in situations where the 35 | * origins differ, such as a presentation being opened from the 36 | * file system. 37 | */ 38 | function connect() { 39 | // Keep trying to connect until we get a 'connected' message back 40 | var connectInterval = setInterval( function() { 41 | notesPopup.postMessage( JSON.stringify( { 42 | namespace: 'reveal-notes', 43 | type: 'connect', 44 | url: window.location.protocol + '//' + window.location.host + window.location.pathname + window.location.search, 45 | state: Reveal.getState() 46 | } ), '*' ); 47 | }, 500 ); 48 | 49 | window.addEventListener( 'message', function( event ) { 50 | var data = JSON.parse( event.data ); 51 | if( data && data.namespace === 'reveal-notes' && data.type === 'connected' ) { 52 | clearInterval( connectInterval ); 53 | onConnected(); 54 | } 55 | } ); 56 | } 57 | 58 | /** 59 | * Posts the current slide data to the notes window 60 | */ 61 | function post( event ) { 62 | 63 | var slideElement = Reveal.getCurrentSlide(), 64 | notesElement = slideElement.querySelector( 'aside.notes' ), 65 | fragmentElement = slideElement.querySelector( '.current-fragment' ); 66 | 67 | var messageData = { 68 | namespace: 'reveal-notes', 69 | type: 'state', 70 | notes: '', 71 | markdown: false, 72 | whitespace: 'normal', 73 | state: Reveal.getState() 74 | }; 75 | 76 | // Look for notes defined in a slide attribute 77 | if( slideElement.hasAttribute( 'data-notes' ) ) { 78 | messageData.notes = slideElement.getAttribute( 'data-notes' ); 79 | messageData.whitespace = 'pre-wrap'; 80 | } 81 | 82 | // Look for notes defined in a fragment 83 | if( fragmentElement ) { 84 | var fragmentNotes = fragmentElement.querySelector( 'aside.notes' ); 85 | if( fragmentNotes ) { 86 | notesElement = fragmentNotes; 87 | } 88 | else if( fragmentElement.hasAttribute( 'data-notes' ) ) { 89 | messageData.notes = fragmentElement.getAttribute( 'data-notes' ); 90 | messageData.whitespace = 'pre-wrap'; 91 | 92 | // In case there are slide notes 93 | notesElement = null; 94 | } 95 | } 96 | 97 | // Look for notes defined in an aside element 98 | if( notesElement ) { 99 | messageData.notes = notesElement.innerHTML; 100 | messageData.markdown = typeof notesElement.getAttribute( 'data-markdown' ) === 'string'; 101 | } 102 | 103 | notesPopup.postMessage( JSON.stringify( messageData ), '*' ); 104 | 105 | } 106 | 107 | /** 108 | * Called once we have established a connection to the notes 109 | * window. 110 | */ 111 | function onConnected() { 112 | 113 | // Monitor events that trigger a change in state 114 | Reveal.addEventListener( 'slidechanged', post ); 115 | Reveal.addEventListener( 'fragmentshown', post ); 116 | Reveal.addEventListener( 'fragmenthidden', post ); 117 | Reveal.addEventListener( 'overviewhidden', post ); 118 | Reveal.addEventListener( 'overviewshown', post ); 119 | Reveal.addEventListener( 'paused', post ); 120 | Reveal.addEventListener( 'resumed', post ); 121 | 122 | // Post the initial state 123 | post(); 124 | 125 | } 126 | 127 | connect(); 128 | 129 | } 130 | 131 | if( !/receiver/i.test( window.location.search ) ) { 132 | 133 | // If the there's a 'notes' query set, open directly 134 | if( window.location.search.match( /(\?|\&)notes/gi ) !== null ) { 135 | openNotes(); 136 | } 137 | 138 | // Open the notes when the 's' key is hit 139 | Reveal.addKeyBinding({keyCode: 83, key: 'S', description: 'Speaker notes view'}, function() { 140 | openNotes(); 141 | } ); 142 | 143 | } 144 | 145 | return { open: openNotes }; 146 | 147 | })(); 148 | -------------------------------------------------------------------------------- /reveal.js/plugin/markdown/example.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | reveal.js - Markdown Demo 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 |
18 | 19 |
20 | 21 | 22 |
23 | 24 | 25 |
26 | 36 |
37 | 38 | 39 |
40 | 54 |
55 | 56 | 57 |
58 | 69 |
70 | 71 | 72 |
73 | 77 |
78 | 79 | 80 |
81 | 86 |
87 | 88 | 89 |
90 | 100 |
101 | 102 | 103 |
104 | 107 |
108 | 109 |
110 |
111 | 112 | 113 | 114 | 115 | 134 | 135 | 136 | 137 | -------------------------------------------------------------------------------- /reveal.js/css/print/paper.css: -------------------------------------------------------------------------------- 1 | /* Default Print Stylesheet Template 2 | by Rob Glazebrook of CSSnewbie.com 3 | Last Updated: June 4, 2008 4 | 5 | Feel free (nay, compelled) to edit, append, and 6 | manipulate this file as you see fit. */ 7 | 8 | 9 | @media print { 10 | 11 | /* SECTION 1: Set default width, margin, float, and 12 | background. This prevents elements from extending 13 | beyond the edge of the printed page, and prevents 14 | unnecessary background images from printing */ 15 | html { 16 | background: #fff; 17 | width: auto; 18 | height: auto; 19 | overflow: visible; 20 | } 21 | body { 22 | background: #fff; 23 | font-size: 20pt; 24 | width: auto; 25 | height: auto; 26 | border: 0; 27 | margin: 0 5%; 28 | padding: 0; 29 | overflow: visible; 30 | float: none !important; 31 | } 32 | 33 | /* SECTION 2: Remove any elements not needed in print. 34 | This would include navigation, ads, sidebars, etc. */ 35 | .nestedarrow, 36 | .controls, 37 | .fork-reveal, 38 | .share-reveal, 39 | .state-background, 40 | .reveal .progress, 41 | .reveal .backgrounds, 42 | .reveal .slide-number { 43 | display: none !important; 44 | } 45 | 46 | /* SECTION 3: Set body font face, size, and color. 47 | Consider using a serif font for readability. */ 48 | body, p, td, li, div { 49 | font-size: 20pt!important; 50 | font-family: Georgia, "Times New Roman", Times, serif !important; 51 | color: #000; 52 | } 53 | 54 | /* SECTION 4: Set heading font face, sizes, and color. 55 | Differentiate your headings from your body text. 56 | Perhaps use a large sans-serif for distinction. */ 57 | h1,h2,h3,h4,h5,h6 { 58 | color: #000!important; 59 | height: auto; 60 | line-height: normal; 61 | font-family: Georgia, "Times New Roman", Times, serif !important; 62 | text-shadow: 0 0 0 #000 !important; 63 | text-align: left; 64 | letter-spacing: normal; 65 | } 66 | /* Need to reduce the size of the fonts for printing */ 67 | h1 { font-size: 28pt !important; } 68 | h2 { font-size: 24pt !important; } 69 | h3 { font-size: 22pt !important; } 70 | h4 { font-size: 22pt !important; font-variant: small-caps; } 71 | h5 { font-size: 21pt !important; } 72 | h6 { font-size: 20pt !important; font-style: italic; } 73 | 74 | /* SECTION 5: Make hyperlinks more usable. 75 | Ensure links are underlined, and consider appending 76 | the URL to the end of the link for usability. */ 77 | a:link, 78 | a:visited { 79 | color: #000 !important; 80 | font-weight: bold; 81 | text-decoration: underline; 82 | } 83 | /* 84 | .reveal a:link:after, 85 | .reveal a:visited:after { 86 | content: " (" attr(href) ") "; 87 | color: #222 !important; 88 | font-size: 90%; 89 | } 90 | */ 91 | 92 | 93 | /* SECTION 6: more reveal.js specific additions by @skypanther */ 94 | ul, ol, div, p { 95 | visibility: visible; 96 | position: static; 97 | width: auto; 98 | height: auto; 99 | display: block; 100 | overflow: visible; 101 | margin: 0; 102 | text-align: left !important; 103 | } 104 | .reveal pre, 105 | .reveal table { 106 | margin-left: 0; 107 | margin-right: 0; 108 | } 109 | .reveal pre code { 110 | padding: 20px; 111 | border: 1px solid #ddd; 112 | } 113 | .reveal blockquote { 114 | margin: 20px 0; 115 | } 116 | .reveal .slides { 117 | position: static !important; 118 | width: auto !important; 119 | height: auto !important; 120 | 121 | left: 0 !important; 122 | top: 0 !important; 123 | margin-left: 0 !important; 124 | margin-top: 0 !important; 125 | padding: 0 !important; 126 | zoom: 1 !important; 127 | 128 | overflow: visible !important; 129 | display: block !important; 130 | 131 | text-align: left !important; 132 | -webkit-perspective: none; 133 | -moz-perspective: none; 134 | -ms-perspective: none; 135 | perspective: none; 136 | 137 | -webkit-perspective-origin: 50% 50%; 138 | -moz-perspective-origin: 50% 50%; 139 | -ms-perspective-origin: 50% 50%; 140 | perspective-origin: 50% 50%; 141 | } 142 | .reveal .slides section { 143 | visibility: visible !important; 144 | position: static !important; 145 | width: auto !important; 146 | height: auto !important; 147 | display: block !important; 148 | overflow: visible !important; 149 | 150 | left: 0 !important; 151 | top: 0 !important; 152 | margin-left: 0 !important; 153 | margin-top: 0 !important; 154 | padding: 60px 20px !important; 155 | z-index: auto !important; 156 | 157 | opacity: 1 !important; 158 | 159 | page-break-after: always !important; 160 | 161 | -webkit-transform-style: flat !important; 162 | -moz-transform-style: flat !important; 163 | -ms-transform-style: flat !important; 164 | transform-style: flat !important; 165 | 166 | -webkit-transform: none !important; 167 | -moz-transform: none !important; 168 | -ms-transform: none !important; 169 | transform: none !important; 170 | 171 | -webkit-transition: none !important; 172 | -moz-transition: none !important; 173 | -ms-transition: none !important; 174 | transition: none !important; 175 | } 176 | .reveal .slides section.stack { 177 | padding: 0 !important; 178 | } 179 | .reveal section:last-of-type { 180 | page-break-after: avoid !important; 181 | } 182 | .reveal section .fragment { 183 | opacity: 1 !important; 184 | visibility: visible !important; 185 | 186 | -webkit-transform: none !important; 187 | -moz-transform: none !important; 188 | -ms-transform: none !important; 189 | transform: none !important; 190 | } 191 | .reveal section img { 192 | display: block; 193 | margin: 15px 0px; 194 | background: rgba(255,255,255,1); 195 | border: 1px solid #666; 196 | box-shadow: none; 197 | } 198 | 199 | .reveal section small { 200 | font-size: 0.8em; 201 | } 202 | 203 | } 204 | -------------------------------------------------------------------------------- /reveal.js/test/examples/math.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | reveal.js - Math Plugin 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 |
18 | 19 |
20 | 21 |
22 |

reveal.js Math Plugin

23 |

A thin wrapper for MathJax

24 |
25 | 26 |
27 |

The Lorenz Equations

28 | 29 | \[\begin{aligned} 30 | \dot{x} & = \sigma(y-x) \\ 31 | \dot{y} & = \rho x - y - xz \\ 32 | \dot{z} & = -\beta z + xy 33 | \end{aligned} \] 34 |
35 | 36 |
37 |

The Cauchy-Schwarz Inequality

38 | 39 | 42 |
43 | 44 |
45 |

A Cross Product Formula

46 | 47 | \[\mathbf{V}_1 \times \mathbf{V}_2 = \begin{vmatrix} 48 | \mathbf{i} & \mathbf{j} & \mathbf{k} \\ 49 | \frac{\partial X}{\partial u} & \frac{\partial Y}{\partial u} & 0 \\ 50 | \frac{\partial X}{\partial v} & \frac{\partial Y}{\partial v} & 0 51 | \end{vmatrix} \] 52 |
53 | 54 |
55 |

The probability of getting \(k\) heads when flipping \(n\) coins is

56 | 57 | \[P(E) = {n \choose k} p^k (1-p)^{ n-k} \] 58 |
59 | 60 |
61 |

An Identity of Ramanujan

62 | 63 | \[ \frac{1}{\Bigl(\sqrt{\phi \sqrt{5}}-\phi\Bigr) e^{\frac25 \pi}} = 64 | 1+\frac{e^{-2\pi}} {1+\frac{e^{-4\pi}} {1+\frac{e^{-6\pi}} 65 | {1+\frac{e^{-8\pi}} {1+\ldots} } } } \] 66 |
67 | 68 |
69 |

A Rogers-Ramanujan Identity

70 | 71 | \[ 1 + \frac{q^2}{(1-q)}+\frac{q^6}{(1-q)(1-q^2)}+\cdots = 72 | \prod_{j=0}^{\infty}\frac{1}{(1-q^{5j+2})(1-q^{5j+3})}\] 73 |
74 | 75 |
76 |

Maxwell’s Equations

77 | 78 | \[ \begin{aligned} 79 | \nabla \times \vec{\mathbf{B}} -\, \frac1c\, \frac{\partial\vec{\mathbf{E}}}{\partial t} & = \frac{4\pi}{c}\vec{\mathbf{j}} \\ \nabla \cdot \vec{\mathbf{E}} & = 4 \pi \rho \\ 80 | \nabla \times \vec{\mathbf{E}}\, +\, \frac1c\, \frac{\partial\vec{\mathbf{B}}}{\partial t} & = \vec{\mathbf{0}} \\ 81 | \nabla \cdot \vec{\mathbf{B}} & = 0 \end{aligned} 82 | \] 83 |
84 | 85 |
86 |
87 |

The Lorenz Equations

88 | 89 |
90 | \[\begin{aligned} 91 | \dot{x} & = \sigma(y-x) \\ 92 | \dot{y} & = \rho x - y - xz \\ 93 | \dot{z} & = -\beta z + xy 94 | \end{aligned} \] 95 |
96 |
97 | 98 |
99 |

The Cauchy-Schwarz Inequality

100 | 101 |
102 | \[ \left( \sum_{k=1}^n a_k b_k \right)^2 \leq \left( \sum_{k=1}^n a_k^2 \right) \left( \sum_{k=1}^n b_k^2 \right) \] 103 |
104 |
105 | 106 |
107 |

A Cross Product Formula

108 | 109 |
110 | \[\mathbf{V}_1 \times \mathbf{V}_2 = \begin{vmatrix} 111 | \mathbf{i} & \mathbf{j} & \mathbf{k} \\ 112 | \frac{\partial X}{\partial u} & \frac{\partial Y}{\partial u} & 0 \\ 113 | \frac{\partial X}{\partial v} & \frac{\partial Y}{\partial v} & 0 114 | \end{vmatrix} \] 115 |
116 |
117 | 118 |
119 |

The probability of getting \(k\) heads when flipping \(n\) coins is

120 | 121 |
122 | \[P(E) = {n \choose k} p^k (1-p)^{ n-k} \] 123 |
124 |
125 | 126 |
127 |

An Identity of Ramanujan

128 | 129 |
130 | \[ \frac{1}{\Bigl(\sqrt{\phi \sqrt{5}}-\phi\Bigr) e^{\frac25 \pi}} = 131 | 1+\frac{e^{-2\pi}} {1+\frac{e^{-4\pi}} {1+\frac{e^{-6\pi}} 132 | {1+\frac{e^{-8\pi}} {1+\ldots} } } } \] 133 |
134 |
135 | 136 |
137 |

A Rogers-Ramanujan Identity

138 | 139 |
140 | \[ 1 + \frac{q^2}{(1-q)}+\frac{q^6}{(1-q)(1-q^2)}+\cdots = 141 | \prod_{j=0}^{\infty}\frac{1}{(1-q^{5j+2})(1-q^{5j+3})}\] 142 |
143 |
144 | 145 |
146 |

Maxwell’s Equations

147 | 148 |
149 | \[ \begin{aligned} 150 | \nabla \times \vec{\mathbf{B}} -\, \frac1c\, \frac{\partial\vec{\mathbf{E}}}{\partial t} & = \frac{4\pi}{c}\vec{\mathbf{j}} \\ \nabla \cdot \vec{\mathbf{E}} & = 4 \pi \rho \\ 151 | \nabla \times \vec{\mathbf{E}}\, +\, \frac1c\, \frac{\partial\vec{\mathbf{B}}}{\partial t} & = \vec{\mathbf{0}} \\ 152 | \nabla \cdot \vec{\mathbf{B}} & = 0 \end{aligned} 153 | \] 154 |
155 |
156 |
157 | 158 |
159 | 160 |
161 | 162 | 163 | 164 | 165 | 183 | 184 | 185 | 186 | -------------------------------------------------------------------------------- /JOSE/paper.md: -------------------------------------------------------------------------------- 1 | --- 2 | title: 'Control Engineering with Python' 3 | tags: 4 | - Python 5 | - Control theory 6 | authors: 7 | - name: Sébastien Boisgérault 8 | orcid: 0000-0003-4685-8099 9 | affiliation: 1 10 | affiliations: 11 | - name: Center for Robotics, Mines Paris, PSL University 12 | index: 1 13 | date: 20 February 2023 14 | bibliography: paper.bib 15 | --- 16 | 17 | ## Statement of Need 18 | 19 | Matlab "detox" ; while suitable for specialist, large cost to incurr for a 20 | beginner's course. Use Python instead (more likely to be familiar, 21 | more transferable knowledge "out"). 22 | 23 | Theory (inc. some didactic "tricks", short-form (chunks), visu, videos, Fibre etc.) 24 | **AND** Practice (algos, Jupyter, etc.), intertwined. Active/interactive learning. 25 | 26 | TODO: 27 | 28 | - Mix theory and numerical/visualisation methods 29 | 30 | - Python ecosystem (wider audience, tools more familiar, etc.) 31 | 32 | - open-source tooling, reuse/complement Python knowledge 33 | 34 | ## Learning Objectives 35 | 36 | The course targets students with a basic knowledge of linear algebra, 37 | and optionally of ordinary differential equations as well as some experience with the Python scientific tools (NumPy, Scipy, Matplotlib, Jupyter notebooks). Expertise in an application domain 38 | of control engineering, such as mechanical engineering, electrical engineering or process engineering can be useful. 39 | 40 | At the end of this course, students will be able to: 41 | 42 | - understand and apply the theoretical foundations of control systems, 43 | 44 | - use common numerical methods in control engineering, 45 | 46 | - leverage the control engineering perspective in application domains. 47 | 48 | ## Experience 49 | 50 | **TODO.** single or 3-instructors settings. 51 | 52 | The course material has been taught: 53 | 54 | - in [EMINES engineering cycle](https://www.emines-ingenieur.org/en/education/course-catalog) since 2019. In this context, the course is composed of 55 | 2 periods of 3 (6-hour) day. The typical student workload is in the 75--90 hour range (including the 36 hours of face-to-face teaching). The second period is 56 | entirely dedicated to a mobile robotics project. 57 | 58 | - in [Mines master's degree in science and executive engineering](https://mines-paristech.eu/Admissions/Master-degree-in-science-and-engineering/), since 2021. 59 | Since the format is shorter ($3 \times 3$h plus the 1.5h exam) 60 | some subjects are dropped and the robotics project is not included. 61 | 62 | Accordingly, the course is composed of three parts: 63 | 64 | 1. Dynamical Systems: Models, Properties, Simulation. 65 | 66 | 2. Controllers and Observers Design. 67 | 68 | 3. Control Engineering for Mobile Robotics. 69 | 70 | While parts 1 and 2 are considered standard for such an introductory course, 71 | part 3 is merely one possible field of application of control engineering; 72 | it could be replaced or complemented with alternate topics in the future. 73 | 74 | ### Course Material 75 | 76 | A custom set of resources supports the course objectives 77 | with the following characteristics: 78 | 79 | - Digital First: all documents are available in digital form; 80 | they use the English language. 81 | 82 | - Open Knowledge: the course material is 83 | freely available under a permissive license. 84 | 85 | - Reproducible Education: the design process 86 | enable and fosters reuse and modification 87 | of the course material. 88 | 89 | ### Software Stack & Educational Technology 90 | 91 | **TODO.** Multi-backend (and why!) 92 | 93 | The software tools used to solve control engineering problems 94 | belong to the [Python/SciPy ecosystem](https://www.scipy.org/). 95 | Mostly: 96 | 97 | - [NumPy](http://www.numpy.org/) for numerical arrays, 98 | 99 | - [Matplotlib](https://matplotlib.org/) for data visualization, 100 | 101 | - The [Scipy library](http://scipy.github.io/devdocs/) for 102 | ODEs, LTI systems, Linear Algebra, etc. 103 | 104 | We also rely on [Jupyter notebooks](http://jupyter.org/) to define 105 | executable documents. Notebooks can behave mostly like classic documents, 106 | but they can also embed some editable and executable code that produces 107 | some dynamic content. 108 | 109 | **For teachers, likely to use the stuff. How?** 110 | 111 | ### Pedagogy & Team 112 | 113 | To provide a hands-on experience, the course contains 114 | at least 50% tutorials or lab sessions in small groups. 115 | We use notebooks as a complement of classic documents, since they 116 | foster experimentation and active learning for students. 117 | The third and more applied part of the course should also 118 | contribute positively to the engagement of the less mathematically 119 | inclined students. 120 | 121 | Teachers in the pedagogical team are knowledgeable 122 | with the mathematics of control theory, 123 | the software stack used in the course 124 | and the application domain selected in its last part. 125 | 126 | ### Assignments & Assessment 127 | 128 | An assignment is associated to each part of the lecture; 129 | it complements the tutorial and lab sessions. 130 | The corresponding deliverable is a notebook that shall 131 | be produced at most two weeks after the end of the part. 132 | Up to 1/3 of the final mark will be based on the 133 | interactions with the teachers during the course. 134 | 135 | # TODO 136 | 137 | JOSE papers should: 138 | 139 | - [X] List all authors and affiliations. 140 | 141 | - [ ] Describe the submission, and explain its eligibility for JOSE. 142 | 143 | - [ ] Include a “Statement of Need” section, explaining how the submitted 144 | artifacts contribute to computationally enabled teaching and learning, and describing how they might be adopted by others. 145 | 146 | -> TODO: teaching of theory & code, integrated. Not Matlab based, but 147 | Python-based (scientific stack) 148 | 149 | - [ ] For learning modules, describe the learning objectives, content, instructional design, and experience of use in teaching and learning situations. 150 | 151 | - [ ] Tell us the “story” of the project: how did it come to be? 152 | 153 | - [ ] Cite key references, including a link to the open archive of the sofware or the learning module. 154 | 155 | JOSE welcomes submissions with diverse educational contexts. 156 | 157 | - [ ] You should write your paper for a non-specialist reader. 158 | 159 | - [ ] Your submission should probably be around 1000 words (or around two pages). 160 | 161 | The goal is that someone reading the JOSE paper has enough information to decide if they’d be interested in adoping the learnig module or software. Readers will want to know how the content/software has been used, and how they would adopt it. They may also want to be persuaded that the authors have put careful work on creating the material, and have experience teaching with it. 162 | 163 | ## References -------------------------------------------------------------------------------- /reveal.js/css/theme/night.css: -------------------------------------------------------------------------------- 1 | /** 2 | * Black theme for reveal.js. 3 | * 4 | * Copyright (C) 2011-2012 Hakim El Hattab, http://hakim.se 5 | */ 6 | @import url(https://fonts.googleapis.com/css?family=Montserrat:700); 7 | @import url(https://fonts.googleapis.com/css?family=Open+Sans:400,700,400italic,700italic); 8 | /********************************************* 9 | * GLOBAL STYLES 10 | *********************************************/ 11 | body { 12 | background: #111; 13 | background-color: #111; } 14 | 15 | .reveal { 16 | font-family: "Open Sans", sans-serif; 17 | font-size: 40px; 18 | font-weight: normal; 19 | color: #eee; } 20 | 21 | ::selection { 22 | color: #fff; 23 | background: #e7ad52; 24 | text-shadow: none; } 25 | 26 | ::-moz-selection { 27 | color: #fff; 28 | background: #e7ad52; 29 | text-shadow: none; } 30 | 31 | .reveal .slides section, 32 | .reveal .slides section > section { 33 | line-height: 1.3; 34 | font-weight: inherit; } 35 | 36 | /********************************************* 37 | * HEADERS 38 | *********************************************/ 39 | .reveal h1, 40 | .reveal h2, 41 | .reveal h3, 42 | .reveal h4, 43 | .reveal h5, 44 | .reveal h6 { 45 | margin: 0 0 20px 0; 46 | color: #eee; 47 | font-family: "Montserrat", Impact, sans-serif; 48 | font-weight: normal; 49 | line-height: 1.2; 50 | letter-spacing: -0.03em; 51 | text-transform: none; 52 | text-shadow: none; 53 | word-wrap: break-word; } 54 | 55 | .reveal h1 { 56 | font-size: 3.77em; } 57 | 58 | .reveal h2 { 59 | font-size: 2.11em; } 60 | 61 | .reveal h3 { 62 | font-size: 1.55em; } 63 | 64 | .reveal h4 { 65 | font-size: 1em; } 66 | 67 | .reveal h1 { 68 | text-shadow: none; } 69 | 70 | /********************************************* 71 | * OTHER 72 | *********************************************/ 73 | .reveal p { 74 | margin: 20px 0; 75 | line-height: 1.3; } 76 | 77 | /* Ensure certain elements are never larger than the slide itself */ 78 | .reveal img, 79 | .reveal video, 80 | .reveal iframe { 81 | max-width: 95%; 82 | max-height: 95%; } 83 | 84 | .reveal strong, 85 | .reveal b { 86 | font-weight: bold; } 87 | 88 | .reveal em { 89 | font-style: italic; } 90 | 91 | .reveal ol, 92 | .reveal dl, 93 | .reveal ul { 94 | display: inline-block; 95 | text-align: left; 96 | margin: 0 0 0 1em; } 97 | 98 | .reveal ol { 99 | list-style-type: decimal; } 100 | 101 | .reveal ul { 102 | list-style-type: disc; } 103 | 104 | .reveal ul ul { 105 | list-style-type: square; } 106 | 107 | .reveal ul ul ul { 108 | list-style-type: circle; } 109 | 110 | .reveal ul ul, 111 | .reveal ul ol, 112 | .reveal ol ol, 113 | .reveal ol ul { 114 | display: block; 115 | margin-left: 40px; } 116 | 117 | .reveal dt { 118 | font-weight: bold; } 119 | 120 | .reveal dd { 121 | margin-left: 40px; } 122 | 123 | .reveal blockquote { 124 | display: block; 125 | position: relative; 126 | width: 70%; 127 | margin: 20px auto; 128 | padding: 5px; 129 | font-style: italic; 130 | background: rgba(255, 255, 255, 0.05); 131 | box-shadow: 0px 0px 2px rgba(0, 0, 0, 0.2); } 132 | 133 | .reveal blockquote p:first-child, 134 | .reveal blockquote p:last-child { 135 | display: inline-block; } 136 | 137 | .reveal q { 138 | font-style: italic; } 139 | 140 | .reveal pre { 141 | display: block; 142 | position: relative; 143 | width: 90%; 144 | margin: 20px auto; 145 | text-align: left; 146 | font-size: 0.55em; 147 | font-family: monospace; 148 | line-height: 1.2em; 149 | word-wrap: break-word; 150 | box-shadow: 0px 0px 6px rgba(0, 0, 0, 0.3); } 151 | 152 | .reveal code { 153 | font-family: monospace; 154 | text-transform: none; } 155 | 156 | .reveal pre code { 157 | display: block; 158 | padding: 5px; 159 | overflow: auto; 160 | max-height: 400px; 161 | word-wrap: normal; } 162 | 163 | .reveal table { 164 | margin: auto; 165 | border-collapse: collapse; 166 | border-spacing: 0; } 167 | 168 | .reveal table th { 169 | font-weight: bold; } 170 | 171 | .reveal table th, 172 | .reveal table td { 173 | text-align: left; 174 | padding: 0.2em 0.5em 0.2em 0.5em; 175 | border-bottom: 1px solid; } 176 | 177 | .reveal table th[align="center"], 178 | .reveal table td[align="center"] { 179 | text-align: center; } 180 | 181 | .reveal table th[align="right"], 182 | .reveal table td[align="right"] { 183 | text-align: right; } 184 | 185 | .reveal table tbody tr:last-child th, 186 | .reveal table tbody tr:last-child td { 187 | border-bottom: none; } 188 | 189 | .reveal sup { 190 | vertical-align: super; 191 | font-size: smaller; } 192 | 193 | .reveal sub { 194 | vertical-align: sub; 195 | font-size: smaller; } 196 | 197 | .reveal small { 198 | display: inline-block; 199 | font-size: 0.6em; 200 | line-height: 1.2em; 201 | vertical-align: top; } 202 | 203 | .reveal small * { 204 | vertical-align: top; } 205 | 206 | /********************************************* 207 | * LINKS 208 | *********************************************/ 209 | .reveal a { 210 | color: #e7ad52; 211 | text-decoration: none; 212 | -webkit-transition: color .15s ease; 213 | -moz-transition: color .15s ease; 214 | transition: color .15s ease; } 215 | 216 | .reveal a:hover { 217 | color: #f3d7ac; 218 | text-shadow: none; 219 | border: none; } 220 | 221 | .reveal .roll span:after { 222 | color: #fff; 223 | background: #d08a1d; } 224 | 225 | /********************************************* 226 | * IMAGES 227 | *********************************************/ 228 | .reveal section img { 229 | margin: 15px 0px; 230 | background: rgba(255, 255, 255, 0.12); 231 | border: 4px solid #eee; 232 | box-shadow: 0 0 10px rgba(0, 0, 0, 0.15); } 233 | 234 | .reveal section img.plain { 235 | border: 0; 236 | box-shadow: none; } 237 | 238 | .reveal a img { 239 | -webkit-transition: all .15s linear; 240 | -moz-transition: all .15s linear; 241 | transition: all .15s linear; } 242 | 243 | .reveal a:hover img { 244 | background: rgba(255, 255, 255, 0.2); 245 | border-color: #e7ad52; 246 | box-shadow: 0 0 20px rgba(0, 0, 0, 0.55); } 247 | 248 | /********************************************* 249 | * NAVIGATION CONTROLS 250 | *********************************************/ 251 | .reveal .controls { 252 | color: #e7ad52; } 253 | 254 | /********************************************* 255 | * PROGRESS BAR 256 | *********************************************/ 257 | .reveal .progress { 258 | background: rgba(0, 0, 0, 0.2); 259 | color: #e7ad52; } 260 | 261 | .reveal .progress span { 262 | -webkit-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 263 | -moz-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 264 | transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); } 265 | 266 | /********************************************* 267 | * PRINT BACKGROUND 268 | *********************************************/ 269 | @media print { 270 | .backgrounds { 271 | background-color: #111; } } 272 | -------------------------------------------------------------------------------- /reveal.js/css/theme/serif.css: -------------------------------------------------------------------------------- 1 | /** 2 | * A simple theme for reveal.js presentations, similar 3 | * to the default theme. The accent color is brown. 4 | * 5 | * This theme is Copyright (C) 2012-2013 Owen Versteeg, http://owenversteeg.com - it is MIT licensed. 6 | */ 7 | .reveal a { 8 | line-height: 1.3em; } 9 | 10 | /********************************************* 11 | * GLOBAL STYLES 12 | *********************************************/ 13 | body { 14 | background: #F0F1EB; 15 | background-color: #F0F1EB; } 16 | 17 | .reveal { 18 | font-family: "Palatino Linotype", "Book Antiqua", Palatino, FreeSerif, serif; 19 | font-size: 40px; 20 | font-weight: normal; 21 | color: #000; } 22 | 23 | ::selection { 24 | color: #fff; 25 | background: #26351C; 26 | text-shadow: none; } 27 | 28 | ::-moz-selection { 29 | color: #fff; 30 | background: #26351C; 31 | text-shadow: none; } 32 | 33 | .reveal .slides section, 34 | .reveal .slides section > section { 35 | line-height: 1.3; 36 | font-weight: inherit; } 37 | 38 | /********************************************* 39 | * HEADERS 40 | *********************************************/ 41 | .reveal h1, 42 | .reveal h2, 43 | .reveal h3, 44 | .reveal h4, 45 | .reveal h5, 46 | .reveal h6 { 47 | margin: 0 0 20px 0; 48 | color: #383D3D; 49 | font-family: "Palatino Linotype", "Book Antiqua", Palatino, FreeSerif, serif; 50 | font-weight: normal; 51 | line-height: 1.2; 52 | letter-spacing: normal; 53 | text-transform: none; 54 | text-shadow: none; 55 | word-wrap: break-word; } 56 | 57 | .reveal h1 { 58 | font-size: 3.77em; } 59 | 60 | .reveal h2 { 61 | font-size: 2.11em; } 62 | 63 | .reveal h3 { 64 | font-size: 1.55em; } 65 | 66 | .reveal h4 { 67 | font-size: 1em; } 68 | 69 | .reveal h1 { 70 | text-shadow: none; } 71 | 72 | /********************************************* 73 | * OTHER 74 | *********************************************/ 75 | .reveal p { 76 | margin: 20px 0; 77 | line-height: 1.3; } 78 | 79 | /* Ensure certain elements are never larger than the slide itself */ 80 | .reveal img, 81 | .reveal video, 82 | .reveal iframe { 83 | max-width: 95%; 84 | max-height: 95%; } 85 | 86 | .reveal strong, 87 | .reveal b { 88 | font-weight: bold; } 89 | 90 | .reveal em { 91 | font-style: italic; } 92 | 93 | .reveal ol, 94 | .reveal dl, 95 | .reveal ul { 96 | display: inline-block; 97 | text-align: left; 98 | margin: 0 0 0 1em; } 99 | 100 | .reveal ol { 101 | list-style-type: decimal; } 102 | 103 | .reveal ul { 104 | list-style-type: disc; } 105 | 106 | .reveal ul ul { 107 | list-style-type: square; } 108 | 109 | .reveal ul ul ul { 110 | list-style-type: circle; } 111 | 112 | .reveal ul ul, 113 | .reveal ul ol, 114 | .reveal ol ol, 115 | .reveal ol ul { 116 | display: block; 117 | margin-left: 40px; } 118 | 119 | .reveal dt { 120 | font-weight: bold; } 121 | 122 | .reveal dd { 123 | margin-left: 40px; } 124 | 125 | .reveal blockquote { 126 | display: block; 127 | position: relative; 128 | width: 70%; 129 | margin: 20px auto; 130 | padding: 5px; 131 | font-style: italic; 132 | background: rgba(255, 255, 255, 0.05); 133 | box-shadow: 0px 0px 2px rgba(0, 0, 0, 0.2); } 134 | 135 | .reveal blockquote p:first-child, 136 | .reveal blockquote p:last-child { 137 | display: inline-block; } 138 | 139 | .reveal q { 140 | font-style: italic; } 141 | 142 | .reveal pre { 143 | display: block; 144 | position: relative; 145 | width: 90%; 146 | margin: 20px auto; 147 | text-align: left; 148 | font-size: 0.55em; 149 | font-family: monospace; 150 | line-height: 1.2em; 151 | word-wrap: break-word; 152 | box-shadow: 0px 0px 6px rgba(0, 0, 0, 0.3); } 153 | 154 | .reveal code { 155 | font-family: monospace; 156 | text-transform: none; } 157 | 158 | .reveal pre code { 159 | display: block; 160 | padding: 5px; 161 | overflow: auto; 162 | max-height: 400px; 163 | word-wrap: normal; } 164 | 165 | .reveal table { 166 | margin: auto; 167 | border-collapse: collapse; 168 | border-spacing: 0; } 169 | 170 | .reveal table th { 171 | font-weight: bold; } 172 | 173 | .reveal table th, 174 | .reveal table td { 175 | text-align: left; 176 | padding: 0.2em 0.5em 0.2em 0.5em; 177 | border-bottom: 1px solid; } 178 | 179 | .reveal table th[align="center"], 180 | .reveal table td[align="center"] { 181 | text-align: center; } 182 | 183 | .reveal table th[align="right"], 184 | .reveal table td[align="right"] { 185 | text-align: right; } 186 | 187 | .reveal table tbody tr:last-child th, 188 | .reveal table tbody tr:last-child td { 189 | border-bottom: none; } 190 | 191 | .reveal sup { 192 | vertical-align: super; 193 | font-size: smaller; } 194 | 195 | .reveal sub { 196 | vertical-align: sub; 197 | font-size: smaller; } 198 | 199 | .reveal small { 200 | display: inline-block; 201 | font-size: 0.6em; 202 | line-height: 1.2em; 203 | vertical-align: top; } 204 | 205 | .reveal small * { 206 | vertical-align: top; } 207 | 208 | /********************************************* 209 | * LINKS 210 | *********************************************/ 211 | .reveal a { 212 | color: #51483D; 213 | text-decoration: none; 214 | -webkit-transition: color .15s ease; 215 | -moz-transition: color .15s ease; 216 | transition: color .15s ease; } 217 | 218 | .reveal a:hover { 219 | color: #8b7c69; 220 | text-shadow: none; 221 | border: none; } 222 | 223 | .reveal .roll span:after { 224 | color: #fff; 225 | background: #25211c; } 226 | 227 | /********************************************* 228 | * IMAGES 229 | *********************************************/ 230 | .reveal section img { 231 | margin: 15px 0px; 232 | background: rgba(255, 255, 255, 0.12); 233 | border: 4px solid #000; 234 | box-shadow: 0 0 10px rgba(0, 0, 0, 0.15); } 235 | 236 | .reveal section img.plain { 237 | border: 0; 238 | box-shadow: none; } 239 | 240 | .reveal a img { 241 | -webkit-transition: all .15s linear; 242 | -moz-transition: all .15s linear; 243 | transition: all .15s linear; } 244 | 245 | .reveal a:hover img { 246 | background: rgba(255, 255, 255, 0.2); 247 | border-color: #51483D; 248 | box-shadow: 0 0 20px rgba(0, 0, 0, 0.55); } 249 | 250 | /********************************************* 251 | * NAVIGATION CONTROLS 252 | *********************************************/ 253 | .reveal .controls { 254 | color: #51483D; } 255 | 256 | /********************************************* 257 | * PROGRESS BAR 258 | *********************************************/ 259 | .reveal .progress { 260 | background: rgba(0, 0, 0, 0.2); 261 | color: #51483D; } 262 | 263 | .reveal .progress span { 264 | -webkit-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 265 | -moz-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 266 | transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); } 267 | 268 | /********************************************* 269 | * PRINT BACKGROUND 270 | *********************************************/ 271 | @media print { 272 | .backgrounds { 273 | background-color: #F0F1EB; } } 274 | -------------------------------------------------------------------------------- /reveal.js/css/theme/moon.css: -------------------------------------------------------------------------------- 1 | /** 2 | * Solarized Dark theme for reveal.js. 3 | * Author: Achim Staebler 4 | */ 5 | @import url(../../lib/font/league-gothic/league-gothic.css); 6 | @import url(https://fonts.googleapis.com/css?family=Lato:400,700,400italic,700italic); 7 | /** 8 | * Solarized colors by Ethan Schoonover 9 | */ 10 | html * { 11 | color-profile: sRGB; 12 | rendering-intent: auto; } 13 | 14 | /********************************************* 15 | * GLOBAL STYLES 16 | *********************************************/ 17 | body { 18 | background: #002b36; 19 | background-color: #002b36; } 20 | 21 | .reveal { 22 | font-family: "Lato", sans-serif; 23 | font-size: 40px; 24 | font-weight: normal; 25 | color: #93a1a1; } 26 | 27 | ::selection { 28 | color: #fff; 29 | background: #d33682; 30 | text-shadow: none; } 31 | 32 | ::-moz-selection { 33 | color: #fff; 34 | background: #d33682; 35 | text-shadow: none; } 36 | 37 | .reveal .slides section, 38 | .reveal .slides section > section { 39 | line-height: 1.3; 40 | font-weight: inherit; } 41 | 42 | /********************************************* 43 | * HEADERS 44 | *********************************************/ 45 | .reveal h1, 46 | .reveal h2, 47 | .reveal h3, 48 | .reveal h4, 49 | .reveal h5, 50 | .reveal h6 { 51 | margin: 0 0 20px 0; 52 | color: #eee8d5; 53 | font-family: "League Gothic", Impact, sans-serif; 54 | font-weight: normal; 55 | line-height: 1.2; 56 | letter-spacing: normal; 57 | text-transform: uppercase; 58 | text-shadow: none; 59 | word-wrap: break-word; } 60 | 61 | .reveal h1 { 62 | font-size: 3.77em; } 63 | 64 | .reveal h2 { 65 | font-size: 2.11em; } 66 | 67 | .reveal h3 { 68 | font-size: 1.55em; } 69 | 70 | .reveal h4 { 71 | font-size: 1em; } 72 | 73 | .reveal h1 { 74 | text-shadow: none; } 75 | 76 | /********************************************* 77 | * OTHER 78 | *********************************************/ 79 | .reveal p { 80 | margin: 20px 0; 81 | line-height: 1.3; } 82 | 83 | /* Ensure certain elements are never larger than the slide itself */ 84 | .reveal img, 85 | .reveal video, 86 | .reveal iframe { 87 | max-width: 95%; 88 | max-height: 95%; } 89 | 90 | .reveal strong, 91 | .reveal b { 92 | font-weight: bold; } 93 | 94 | .reveal em { 95 | font-style: italic; } 96 | 97 | .reveal ol, 98 | .reveal dl, 99 | .reveal ul { 100 | display: inline-block; 101 | text-align: left; 102 | margin: 0 0 0 1em; } 103 | 104 | .reveal ol { 105 | list-style-type: decimal; } 106 | 107 | .reveal ul { 108 | list-style-type: disc; } 109 | 110 | .reveal ul ul { 111 | list-style-type: square; } 112 | 113 | .reveal ul ul ul { 114 | list-style-type: circle; } 115 | 116 | .reveal ul ul, 117 | .reveal ul ol, 118 | .reveal ol ol, 119 | .reveal ol ul { 120 | display: block; 121 | margin-left: 40px; } 122 | 123 | .reveal dt { 124 | font-weight: bold; } 125 | 126 | .reveal dd { 127 | margin-left: 40px; } 128 | 129 | .reveal blockquote { 130 | display: block; 131 | position: relative; 132 | width: 70%; 133 | margin: 20px auto; 134 | padding: 5px; 135 | font-style: italic; 136 | background: rgba(255, 255, 255, 0.05); 137 | box-shadow: 0px 0px 2px rgba(0, 0, 0, 0.2); } 138 | 139 | .reveal blockquote p:first-child, 140 | .reveal blockquote p:last-child { 141 | display: inline-block; } 142 | 143 | .reveal q { 144 | font-style: italic; } 145 | 146 | .reveal pre { 147 | display: block; 148 | position: relative; 149 | width: 90%; 150 | margin: 20px auto; 151 | text-align: left; 152 | font-size: 0.55em; 153 | font-family: monospace; 154 | line-height: 1.2em; 155 | word-wrap: break-word; 156 | box-shadow: 0px 0px 6px rgba(0, 0, 0, 0.3); } 157 | 158 | .reveal code { 159 | font-family: monospace; 160 | text-transform: none; } 161 | 162 | .reveal pre code { 163 | display: block; 164 | padding: 5px; 165 | overflow: auto; 166 | max-height: 400px; 167 | word-wrap: normal; } 168 | 169 | .reveal table { 170 | margin: auto; 171 | border-collapse: collapse; 172 | border-spacing: 0; } 173 | 174 | .reveal table th { 175 | font-weight: bold; } 176 | 177 | .reveal table th, 178 | .reveal table td { 179 | text-align: left; 180 | padding: 0.2em 0.5em 0.2em 0.5em; 181 | border-bottom: 1px solid; } 182 | 183 | .reveal table th[align="center"], 184 | .reveal table td[align="center"] { 185 | text-align: center; } 186 | 187 | .reveal table th[align="right"], 188 | .reveal table td[align="right"] { 189 | text-align: right; } 190 | 191 | .reveal table tbody tr:last-child th, 192 | .reveal table tbody tr:last-child td { 193 | border-bottom: none; } 194 | 195 | .reveal sup { 196 | vertical-align: super; 197 | font-size: smaller; } 198 | 199 | .reveal sub { 200 | vertical-align: sub; 201 | font-size: smaller; } 202 | 203 | .reveal small { 204 | display: inline-block; 205 | font-size: 0.6em; 206 | line-height: 1.2em; 207 | vertical-align: top; } 208 | 209 | .reveal small * { 210 | vertical-align: top; } 211 | 212 | /********************************************* 213 | * LINKS 214 | *********************************************/ 215 | .reveal a { 216 | color: #268bd2; 217 | text-decoration: none; 218 | -webkit-transition: color .15s ease; 219 | -moz-transition: color .15s ease; 220 | transition: color .15s ease; } 221 | 222 | .reveal a:hover { 223 | color: #78b9e6; 224 | text-shadow: none; 225 | border: none; } 226 | 227 | .reveal .roll span:after { 228 | color: #fff; 229 | background: #1a6091; } 230 | 231 | /********************************************* 232 | * IMAGES 233 | *********************************************/ 234 | .reveal section img { 235 | margin: 15px 0px; 236 | background: rgba(255, 255, 255, 0.12); 237 | border: 4px solid #93a1a1; 238 | box-shadow: 0 0 10px rgba(0, 0, 0, 0.15); } 239 | 240 | .reveal section img.plain { 241 | border: 0; 242 | box-shadow: none; } 243 | 244 | .reveal a img { 245 | -webkit-transition: all .15s linear; 246 | -moz-transition: all .15s linear; 247 | transition: all .15s linear; } 248 | 249 | .reveal a:hover img { 250 | background: rgba(255, 255, 255, 0.2); 251 | border-color: #268bd2; 252 | box-shadow: 0 0 20px rgba(0, 0, 0, 0.55); } 253 | 254 | /********************************************* 255 | * NAVIGATION CONTROLS 256 | *********************************************/ 257 | .reveal .controls { 258 | color: #268bd2; } 259 | 260 | /********************************************* 261 | * PROGRESS BAR 262 | *********************************************/ 263 | .reveal .progress { 264 | background: rgba(0, 0, 0, 0.2); 265 | color: #268bd2; } 266 | 267 | .reveal .progress span { 268 | -webkit-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 269 | -moz-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 270 | transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); } 271 | 272 | /********************************************* 273 | * PRINT BACKGROUND 274 | *********************************************/ 275 | @media print { 276 | .backgrounds { 277 | background-color: #002b36; } } 278 | -------------------------------------------------------------------------------- /reveal.js/css/theme/solarized.css: -------------------------------------------------------------------------------- 1 | /** 2 | * Solarized Light theme for reveal.js. 3 | * Author: Achim Staebler 4 | */ 5 | @import url(../../lib/font/league-gothic/league-gothic.css); 6 | @import url(https://fonts.googleapis.com/css?family=Lato:400,700,400italic,700italic); 7 | /** 8 | * Solarized colors by Ethan Schoonover 9 | */ 10 | html * { 11 | color-profile: sRGB; 12 | rendering-intent: auto; } 13 | 14 | /********************************************* 15 | * GLOBAL STYLES 16 | *********************************************/ 17 | body { 18 | background: #fdf6e3; 19 | background-color: #fdf6e3; } 20 | 21 | .reveal { 22 | font-family: "Lato", sans-serif; 23 | font-size: 40px; 24 | font-weight: normal; 25 | color: #657b83; } 26 | 27 | ::selection { 28 | color: #fff; 29 | background: #d33682; 30 | text-shadow: none; } 31 | 32 | ::-moz-selection { 33 | color: #fff; 34 | background: #d33682; 35 | text-shadow: none; } 36 | 37 | .reveal .slides section, 38 | .reveal .slides section > section { 39 | line-height: 1.3; 40 | font-weight: inherit; } 41 | 42 | /********************************************* 43 | * HEADERS 44 | *********************************************/ 45 | .reveal h1, 46 | .reveal h2, 47 | .reveal h3, 48 | .reveal h4, 49 | .reveal h5, 50 | .reveal h6 { 51 | margin: 0 0 20px 0; 52 | color: #586e75; 53 | font-family: "League Gothic", Impact, sans-serif; 54 | font-weight: normal; 55 | line-height: 1.2; 56 | letter-spacing: normal; 57 | text-transform: uppercase; 58 | text-shadow: none; 59 | word-wrap: break-word; } 60 | 61 | .reveal h1 { 62 | font-size: 3.77em; } 63 | 64 | .reveal h2 { 65 | font-size: 2.11em; } 66 | 67 | .reveal h3 { 68 | font-size: 1.55em; } 69 | 70 | .reveal h4 { 71 | font-size: 1em; } 72 | 73 | .reveal h1 { 74 | text-shadow: none; } 75 | 76 | /********************************************* 77 | * OTHER 78 | *********************************************/ 79 | .reveal p { 80 | margin: 20px 0; 81 | line-height: 1.3; } 82 | 83 | /* Ensure certain elements are never larger than the slide itself */ 84 | .reveal img, 85 | .reveal video, 86 | .reveal iframe { 87 | max-width: 95%; 88 | max-height: 95%; } 89 | 90 | .reveal strong, 91 | .reveal b { 92 | font-weight: bold; } 93 | 94 | .reveal em { 95 | font-style: italic; } 96 | 97 | .reveal ol, 98 | .reveal dl, 99 | .reveal ul { 100 | display: inline-block; 101 | text-align: left; 102 | margin: 0 0 0 1em; } 103 | 104 | .reveal ol { 105 | list-style-type: decimal; } 106 | 107 | .reveal ul { 108 | list-style-type: disc; } 109 | 110 | .reveal ul ul { 111 | list-style-type: square; } 112 | 113 | .reveal ul ul ul { 114 | list-style-type: circle; } 115 | 116 | .reveal ul ul, 117 | .reveal ul ol, 118 | .reveal ol ol, 119 | .reveal ol ul { 120 | display: block; 121 | margin-left: 40px; } 122 | 123 | .reveal dt { 124 | font-weight: bold; } 125 | 126 | .reveal dd { 127 | margin-left: 40px; } 128 | 129 | .reveal blockquote { 130 | display: block; 131 | position: relative; 132 | width: 70%; 133 | margin: 20px auto; 134 | padding: 5px; 135 | font-style: italic; 136 | background: rgba(255, 255, 255, 0.05); 137 | box-shadow: 0px 0px 2px rgba(0, 0, 0, 0.2); } 138 | 139 | .reveal blockquote p:first-child, 140 | .reveal blockquote p:last-child { 141 | display: inline-block; } 142 | 143 | .reveal q { 144 | font-style: italic; } 145 | 146 | .reveal pre { 147 | display: block; 148 | position: relative; 149 | width: 90%; 150 | margin: 20px auto; 151 | text-align: left; 152 | font-size: 0.55em; 153 | font-family: monospace; 154 | line-height: 1.2em; 155 | word-wrap: break-word; 156 | box-shadow: 0px 0px 6px rgba(0, 0, 0, 0.3); } 157 | 158 | .reveal code { 159 | font-family: monospace; 160 | text-transform: none; } 161 | 162 | .reveal pre code { 163 | display: block; 164 | padding: 5px; 165 | overflow: auto; 166 | max-height: 400px; 167 | word-wrap: normal; } 168 | 169 | .reveal table { 170 | margin: auto; 171 | border-collapse: collapse; 172 | border-spacing: 0; } 173 | 174 | .reveal table th { 175 | font-weight: bold; } 176 | 177 | .reveal table th, 178 | .reveal table td { 179 | text-align: left; 180 | padding: 0.2em 0.5em 0.2em 0.5em; 181 | border-bottom: 1px solid; } 182 | 183 | .reveal table th[align="center"], 184 | .reveal table td[align="center"] { 185 | text-align: center; } 186 | 187 | .reveal table th[align="right"], 188 | .reveal table td[align="right"] { 189 | text-align: right; } 190 | 191 | .reveal table tbody tr:last-child th, 192 | .reveal table tbody tr:last-child td { 193 | border-bottom: none; } 194 | 195 | .reveal sup { 196 | vertical-align: super; 197 | font-size: smaller; } 198 | 199 | .reveal sub { 200 | vertical-align: sub; 201 | font-size: smaller; } 202 | 203 | .reveal small { 204 | display: inline-block; 205 | font-size: 0.6em; 206 | line-height: 1.2em; 207 | vertical-align: top; } 208 | 209 | .reveal small * { 210 | vertical-align: top; } 211 | 212 | /********************************************* 213 | * LINKS 214 | *********************************************/ 215 | .reveal a { 216 | color: #268bd2; 217 | text-decoration: none; 218 | -webkit-transition: color .15s ease; 219 | -moz-transition: color .15s ease; 220 | transition: color .15s ease; } 221 | 222 | .reveal a:hover { 223 | color: #78b9e6; 224 | text-shadow: none; 225 | border: none; } 226 | 227 | .reveal .roll span:after { 228 | color: #fff; 229 | background: #1a6091; } 230 | 231 | /********************************************* 232 | * IMAGES 233 | *********************************************/ 234 | .reveal section img { 235 | margin: 15px 0px; 236 | background: rgba(255, 255, 255, 0.12); 237 | border: 4px solid #657b83; 238 | box-shadow: 0 0 10px rgba(0, 0, 0, 0.15); } 239 | 240 | .reveal section img.plain { 241 | border: 0; 242 | box-shadow: none; } 243 | 244 | .reveal a img { 245 | -webkit-transition: all .15s linear; 246 | -moz-transition: all .15s linear; 247 | transition: all .15s linear; } 248 | 249 | .reveal a:hover img { 250 | background: rgba(255, 255, 255, 0.2); 251 | border-color: #268bd2; 252 | box-shadow: 0 0 20px rgba(0, 0, 0, 0.55); } 253 | 254 | /********************************************* 255 | * NAVIGATION CONTROLS 256 | *********************************************/ 257 | .reveal .controls { 258 | color: #268bd2; } 259 | 260 | /********************************************* 261 | * PROGRESS BAR 262 | *********************************************/ 263 | .reveal .progress { 264 | background: rgba(0, 0, 0, 0.2); 265 | color: #268bd2; } 266 | 267 | .reveal .progress span { 268 | -webkit-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 269 | -moz-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 270 | transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); } 271 | 272 | /********************************************* 273 | * PRINT BACKGROUND 274 | *********************************************/ 275 | @media print { 276 | .backgrounds { 277 | background-color: #fdf6e3; } } 278 | -------------------------------------------------------------------------------- /reveal.js/css/theme/white.css: -------------------------------------------------------------------------------- 1 | /** 2 | * White theme for reveal.js. This is the opposite of the 'black' theme. 3 | * 4 | * By Hakim El Hattab, http://hakim.se 5 | */ 6 | @import url(../../lib/font/source-sans-pro/source-sans-pro.css); 7 | section.has-dark-background, section.has-dark-background h1, section.has-dark-background h2, section.has-dark-background h3, section.has-dark-background h4, section.has-dark-background h5, section.has-dark-background h6 { 8 | color: #fff; } 9 | 10 | /********************************************* 11 | * GLOBAL STYLES 12 | *********************************************/ 13 | body { 14 | background: #fff; 15 | background-color: #fff; } 16 | 17 | .reveal { 18 | font-family: "Source Sans Pro", Helvetica, sans-serif; 19 | font-size: 42px; 20 | font-weight: normal; 21 | color: #222; } 22 | 23 | ::selection { 24 | color: #fff; 25 | background: #98bdef; 26 | text-shadow: none; } 27 | 28 | ::-moz-selection { 29 | color: #fff; 30 | background: #98bdef; 31 | text-shadow: none; } 32 | 33 | .reveal .slides section, 34 | .reveal .slides section > section { 35 | line-height: 1.3; 36 | font-weight: inherit; } 37 | 38 | /********************************************* 39 | * HEADERS 40 | *********************************************/ 41 | .reveal h1, 42 | .reveal h2, 43 | .reveal h3, 44 | .reveal h4, 45 | .reveal h5, 46 | .reveal h6 { 47 | margin: 0 0 20px 0; 48 | color: #222; 49 | font-family: "Source Sans Pro", Helvetica, sans-serif; 50 | font-weight: 600; 51 | line-height: 1.2; 52 | letter-spacing: normal; 53 | text-transform: uppercase; 54 | text-shadow: none; 55 | word-wrap: break-word; } 56 | 57 | .reveal h1 { 58 | font-size: 2.5em; } 59 | 60 | .reveal h2 { 61 | font-size: 1.6em; } 62 | 63 | .reveal h3 { 64 | font-size: 1.3em; } 65 | 66 | .reveal h4 { 67 | font-size: 1em; } 68 | 69 | .reveal h1 { 70 | text-shadow: none; } 71 | 72 | /********************************************* 73 | * OTHER 74 | *********************************************/ 75 | .reveal p { 76 | margin: 20px 0; 77 | line-height: 1.3; } 78 | 79 | /* Ensure certain elements are never larger than the slide itself */ 80 | .reveal img, 81 | .reveal video, 82 | .reveal iframe { 83 | max-width: 95%; 84 | max-height: 95%; } 85 | 86 | .reveal strong, 87 | .reveal b { 88 | font-weight: bold; } 89 | 90 | .reveal em { 91 | font-style: italic; } 92 | 93 | .reveal ol, 94 | .reveal dl, 95 | .reveal ul { 96 | display: inline-block; 97 | text-align: left; 98 | margin: 0 0 0 1em; } 99 | 100 | .reveal ol { 101 | list-style-type: decimal; } 102 | 103 | .reveal ul { 104 | list-style-type: disc; } 105 | 106 | .reveal ul ul { 107 | list-style-type: square; } 108 | 109 | .reveal ul ul ul { 110 | list-style-type: circle; } 111 | 112 | .reveal ul ul, 113 | .reveal ul ol, 114 | .reveal ol ol, 115 | .reveal ol ul { 116 | display: block; 117 | margin-left: 40px; } 118 | 119 | .reveal dt { 120 | font-weight: bold; } 121 | 122 | .reveal dd { 123 | margin-left: 40px; } 124 | 125 | .reveal blockquote { 126 | display: block; 127 | position: relative; 128 | width: 70%; 129 | margin: 20px auto; 130 | padding: 5px; 131 | font-style: italic; 132 | background: rgba(255, 255, 255, 0.05); 133 | box-shadow: 0px 0px 2px rgba(0, 0, 0, 0.2); } 134 | 135 | .reveal blockquote p:first-child, 136 | .reveal blockquote p:last-child { 137 | display: inline-block; } 138 | 139 | .reveal q { 140 | font-style: italic; } 141 | 142 | .reveal pre { 143 | display: block; 144 | position: relative; 145 | width: 90%; 146 | margin: 20px auto; 147 | text-align: left; 148 | font-size: 0.55em; 149 | font-family: monospace; 150 | line-height: 1.2em; 151 | word-wrap: break-word; 152 | box-shadow: 0px 0px 6px rgba(0, 0, 0, 0.3); } 153 | 154 | .reveal code { 155 | font-family: monospace; 156 | text-transform: none; } 157 | 158 | .reveal pre code { 159 | display: block; 160 | padding: 5px; 161 | overflow: auto; 162 | max-height: 400px; 163 | word-wrap: normal; } 164 | 165 | .reveal table { 166 | margin: auto; 167 | border-collapse: collapse; 168 | border-spacing: 0; } 169 | 170 | .reveal table th { 171 | font-weight: bold; } 172 | 173 | .reveal table th, 174 | .reveal table td { 175 | text-align: left; 176 | padding: 0.2em 0.5em 0.2em 0.5em; 177 | border-bottom: 1px solid; } 178 | 179 | .reveal table th[align="center"], 180 | .reveal table td[align="center"] { 181 | text-align: center; } 182 | 183 | .reveal table th[align="right"], 184 | .reveal table td[align="right"] { 185 | text-align: right; } 186 | 187 | .reveal table tbody tr:last-child th, 188 | .reveal table tbody tr:last-child td { 189 | border-bottom: none; } 190 | 191 | .reveal sup { 192 | vertical-align: super; 193 | font-size: smaller; } 194 | 195 | .reveal sub { 196 | vertical-align: sub; 197 | font-size: smaller; } 198 | 199 | .reveal small { 200 | display: inline-block; 201 | font-size: 0.6em; 202 | line-height: 1.2em; 203 | vertical-align: top; } 204 | 205 | .reveal small * { 206 | vertical-align: top; } 207 | 208 | /********************************************* 209 | * LINKS 210 | *********************************************/ 211 | .reveal a { 212 | color: #2a76dd; 213 | text-decoration: none; 214 | -webkit-transition: color .15s ease; 215 | -moz-transition: color .15s ease; 216 | transition: color .15s ease; } 217 | 218 | .reveal a:hover { 219 | color: #6ca0e8; 220 | text-shadow: none; 221 | border: none; } 222 | 223 | .reveal .roll span:after { 224 | color: #fff; 225 | background: #1a53a1; } 226 | 227 | /********************************************* 228 | * IMAGES 229 | *********************************************/ 230 | .reveal section img { 231 | margin: 15px 0px; 232 | background: rgba(255, 255, 255, 0.12); 233 | border: 4px solid #222; 234 | box-shadow: 0 0 10px rgba(0, 0, 0, 0.15); } 235 | 236 | .reveal section img.plain { 237 | border: 0; 238 | box-shadow: none; } 239 | 240 | .reveal a img { 241 | -webkit-transition: all .15s linear; 242 | -moz-transition: all .15s linear; 243 | transition: all .15s linear; } 244 | 245 | .reveal a:hover img { 246 | background: rgba(255, 255, 255, 0.2); 247 | border-color: #2a76dd; 248 | box-shadow: 0 0 20px rgba(0, 0, 0, 0.55); } 249 | 250 | /********************************************* 251 | * NAVIGATION CONTROLS 252 | *********************************************/ 253 | .reveal .controls { 254 | color: #2a76dd; } 255 | 256 | /********************************************* 257 | * PROGRESS BAR 258 | *********************************************/ 259 | .reveal .progress { 260 | background: rgba(0, 0, 0, 0.2); 261 | color: #2a76dd; } 262 | 263 | .reveal .progress span { 264 | -webkit-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 265 | -moz-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 266 | transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); } 267 | 268 | /********************************************* 269 | * PRINT BACKGROUND 270 | *********************************************/ 271 | @media print { 272 | .backgrounds { 273 | background-color: #fff; } } 274 | -------------------------------------------------------------------------------- /reveal.js/css/theme/black.css: -------------------------------------------------------------------------------- 1 | /** 2 | * Black theme for reveal.js. This is the opposite of the 'white' theme. 3 | * 4 | * By Hakim El Hattab, http://hakim.se 5 | */ 6 | @import url(../../lib/font/source-sans-pro/source-sans-pro.css); 7 | section.has-light-background, section.has-light-background h1, section.has-light-background h2, section.has-light-background h3, section.has-light-background h4, section.has-light-background h5, section.has-light-background h6 { 8 | color: #222; } 9 | 10 | /********************************************* 11 | * GLOBAL STYLES 12 | *********************************************/ 13 | body { 14 | background: #222; 15 | background-color: #222; } 16 | 17 | .reveal { 18 | font-family: "Source Sans Pro", Helvetica, sans-serif; 19 | font-size: 42px; 20 | font-weight: normal; 21 | color: #fff; } 22 | 23 | ::selection { 24 | color: #fff; 25 | background: #bee4fd; 26 | text-shadow: none; } 27 | 28 | ::-moz-selection { 29 | color: #fff; 30 | background: #bee4fd; 31 | text-shadow: none; } 32 | 33 | .reveal .slides section, 34 | .reveal .slides section > section { 35 | line-height: 1.3; 36 | font-weight: inherit; } 37 | 38 | /********************************************* 39 | * HEADERS 40 | *********************************************/ 41 | .reveal h1, 42 | .reveal h2, 43 | .reveal h3, 44 | .reveal h4, 45 | .reveal h5, 46 | .reveal h6 { 47 | margin: 0 0 20px 0; 48 | color: #fff; 49 | font-family: "Source Sans Pro", Helvetica, sans-serif; 50 | font-weight: 600; 51 | line-height: 1.2; 52 | letter-spacing: normal; 53 | text-transform: uppercase; 54 | text-shadow: none; 55 | word-wrap: break-word; } 56 | 57 | .reveal h1 { 58 | font-size: 2.5em; } 59 | 60 | .reveal h2 { 61 | font-size: 1.6em; } 62 | 63 | .reveal h3 { 64 | font-size: 1.3em; } 65 | 66 | .reveal h4 { 67 | font-size: 1em; } 68 | 69 | .reveal h1 { 70 | text-shadow: none; } 71 | 72 | /********************************************* 73 | * OTHER 74 | *********************************************/ 75 | .reveal p { 76 | margin: 20px 0; 77 | line-height: 1.3; } 78 | 79 | /* Ensure certain elements are never larger than the slide itself */ 80 | .reveal img, 81 | .reveal video, 82 | .reveal iframe { 83 | max-width: 95%; 84 | max-height: 95%; } 85 | 86 | .reveal strong, 87 | .reveal b { 88 | font-weight: bold; } 89 | 90 | .reveal em { 91 | font-style: italic; } 92 | 93 | .reveal ol, 94 | .reveal dl, 95 | .reveal ul { 96 | display: inline-block; 97 | text-align: left; 98 | margin: 0 0 0 1em; } 99 | 100 | .reveal ol { 101 | list-style-type: decimal; } 102 | 103 | .reveal ul { 104 | list-style-type: disc; } 105 | 106 | .reveal ul ul { 107 | list-style-type: square; } 108 | 109 | .reveal ul ul ul { 110 | list-style-type: circle; } 111 | 112 | .reveal ul ul, 113 | .reveal ul ol, 114 | .reveal ol ol, 115 | .reveal ol ul { 116 | display: block; 117 | margin-left: 40px; } 118 | 119 | .reveal dt { 120 | font-weight: bold; } 121 | 122 | .reveal dd { 123 | margin-left: 40px; } 124 | 125 | .reveal blockquote { 126 | display: block; 127 | position: relative; 128 | width: 70%; 129 | margin: 20px auto; 130 | padding: 5px; 131 | font-style: italic; 132 | background: rgba(255, 255, 255, 0.05); 133 | box-shadow: 0px 0px 2px rgba(0, 0, 0, 0.2); } 134 | 135 | .reveal blockquote p:first-child, 136 | .reveal blockquote p:last-child { 137 | display: inline-block; } 138 | 139 | .reveal q { 140 | font-style: italic; } 141 | 142 | .reveal pre { 143 | display: block; 144 | position: relative; 145 | width: 90%; 146 | margin: 20px auto; 147 | text-align: left; 148 | font-size: 0.55em; 149 | font-family: monospace; 150 | line-height: 1.2em; 151 | word-wrap: break-word; 152 | box-shadow: 0px 0px 6px rgba(0, 0, 0, 0.3); } 153 | 154 | .reveal code { 155 | font-family: monospace; 156 | text-transform: none; } 157 | 158 | .reveal pre code { 159 | display: block; 160 | padding: 5px; 161 | overflow: auto; 162 | max-height: 400px; 163 | word-wrap: normal; } 164 | 165 | .reveal table { 166 | margin: auto; 167 | border-collapse: collapse; 168 | border-spacing: 0; } 169 | 170 | .reveal table th { 171 | font-weight: bold; } 172 | 173 | .reveal table th, 174 | .reveal table td { 175 | text-align: left; 176 | padding: 0.2em 0.5em 0.2em 0.5em; 177 | border-bottom: 1px solid; } 178 | 179 | .reveal table th[align="center"], 180 | .reveal table td[align="center"] { 181 | text-align: center; } 182 | 183 | .reveal table th[align="right"], 184 | .reveal table td[align="right"] { 185 | text-align: right; } 186 | 187 | .reveal table tbody tr:last-child th, 188 | .reveal table tbody tr:last-child td { 189 | border-bottom: none; } 190 | 191 | .reveal sup { 192 | vertical-align: super; 193 | font-size: smaller; } 194 | 195 | .reveal sub { 196 | vertical-align: sub; 197 | font-size: smaller; } 198 | 199 | .reveal small { 200 | display: inline-block; 201 | font-size: 0.6em; 202 | line-height: 1.2em; 203 | vertical-align: top; } 204 | 205 | .reveal small * { 206 | vertical-align: top; } 207 | 208 | /********************************************* 209 | * LINKS 210 | *********************************************/ 211 | .reveal a { 212 | color: #42affa; 213 | text-decoration: none; 214 | -webkit-transition: color .15s ease; 215 | -moz-transition: color .15s ease; 216 | transition: color .15s ease; } 217 | 218 | .reveal a:hover { 219 | color: #8dcffc; 220 | text-shadow: none; 221 | border: none; } 222 | 223 | .reveal .roll span:after { 224 | color: #fff; 225 | background: #068de9; } 226 | 227 | /********************************************* 228 | * IMAGES 229 | *********************************************/ 230 | .reveal section img { 231 | margin: 15px 0px; 232 | background: rgba(255, 255, 255, 0.12); 233 | border: 4px solid #fff; 234 | box-shadow: 0 0 10px rgba(0, 0, 0, 0.15); } 235 | 236 | .reveal section img.plain { 237 | border: 0; 238 | box-shadow: none; } 239 | 240 | .reveal a img { 241 | -webkit-transition: all .15s linear; 242 | -moz-transition: all .15s linear; 243 | transition: all .15s linear; } 244 | 245 | .reveal a:hover img { 246 | background: rgba(255, 255, 255, 0.2); 247 | border-color: #42affa; 248 | box-shadow: 0 0 20px rgba(0, 0, 0, 0.55); } 249 | 250 | /********************************************* 251 | * NAVIGATION CONTROLS 252 | *********************************************/ 253 | .reveal .controls { 254 | color: #42affa; } 255 | 256 | /********************************************* 257 | * PROGRESS BAR 258 | *********************************************/ 259 | .reveal .progress { 260 | background: rgba(0, 0, 0, 0.2); 261 | color: #42affa; } 262 | 263 | .reveal .progress span { 264 | -webkit-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 265 | -moz-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 266 | transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); } 267 | 268 | /********************************************* 269 | * PRINT BACKGROUND 270 | *********************************************/ 271 | @media print { 272 | .backgrounds { 273 | background-color: #222; } } 274 | -------------------------------------------------------------------------------- /reveal.js/css/theme/template/theme.scss: -------------------------------------------------------------------------------- 1 | // Base theme template for reveal.js 2 | 3 | /********************************************* 4 | * GLOBAL STYLES 5 | *********************************************/ 6 | 7 | body { 8 | @include bodyBackground(); 9 | background-color: $backgroundColor; 10 | } 11 | 12 | .reveal { 13 | font-family: $mainFont; 14 | font-size: $mainFontSize; 15 | font-weight: normal; 16 | color: $mainColor; 17 | } 18 | 19 | ::selection { 20 | color: $selectionColor; 21 | background: $selectionBackgroundColor; 22 | text-shadow: none; 23 | } 24 | 25 | ::-moz-selection { 26 | color: $selectionColor; 27 | background: $selectionBackgroundColor; 28 | text-shadow: none; 29 | } 30 | 31 | .reveal .slides section, 32 | .reveal .slides section>section { 33 | line-height: 1.3; 34 | font-weight: inherit; 35 | } 36 | 37 | /********************************************* 38 | * HEADERS 39 | *********************************************/ 40 | 41 | .reveal h1, 42 | .reveal h2, 43 | .reveal h3, 44 | .reveal h4, 45 | .reveal h5, 46 | .reveal h6 { 47 | margin: $headingMargin; 48 | color: $headingColor; 49 | 50 | font-family: $headingFont; 51 | font-weight: $headingFontWeight; 52 | line-height: $headingLineHeight; 53 | letter-spacing: $headingLetterSpacing; 54 | 55 | text-transform: $headingTextTransform; 56 | text-shadow: $headingTextShadow; 57 | 58 | word-wrap: break-word; 59 | } 60 | 61 | .reveal h1 {font-size: $heading1Size; } 62 | .reveal h2 {font-size: $heading2Size; } 63 | .reveal h3 {font-size: $heading3Size; } 64 | .reveal h4 {font-size: $heading4Size; } 65 | 66 | .reveal h1 { 67 | text-shadow: $heading1TextShadow; 68 | } 69 | 70 | 71 | /********************************************* 72 | * OTHER 73 | *********************************************/ 74 | 75 | .reveal p { 76 | margin: $blockMargin 0; 77 | line-height: 1.3; 78 | } 79 | 80 | /* Ensure certain elements are never larger than the slide itself */ 81 | .reveal img, 82 | .reveal video, 83 | .reveal iframe { 84 | max-width: 95%; 85 | max-height: 95%; 86 | } 87 | .reveal strong, 88 | .reveal b { 89 | font-weight: bold; 90 | } 91 | 92 | .reveal em { 93 | font-style: italic; 94 | } 95 | 96 | .reveal ol, 97 | .reveal dl, 98 | .reveal ul { 99 | display: inline-block; 100 | 101 | text-align: left; 102 | margin: 0 0 0 1em; 103 | } 104 | 105 | .reveal ol { 106 | list-style-type: decimal; 107 | } 108 | 109 | .reveal ul { 110 | list-style-type: disc; 111 | } 112 | 113 | .reveal ul ul { 114 | list-style-type: square; 115 | } 116 | 117 | .reveal ul ul ul { 118 | list-style-type: circle; 119 | } 120 | 121 | .reveal ul ul, 122 | .reveal ul ol, 123 | .reveal ol ol, 124 | .reveal ol ul { 125 | display: block; 126 | margin-left: 40px; 127 | } 128 | 129 | .reveal dt { 130 | font-weight: bold; 131 | } 132 | 133 | .reveal dd { 134 | margin-left: 40px; 135 | } 136 | 137 | .reveal blockquote { 138 | display: block; 139 | position: relative; 140 | width: 70%; 141 | margin: $blockMargin auto; 142 | padding: 5px; 143 | 144 | font-style: italic; 145 | background: rgba(255, 255, 255, 0.05); 146 | box-shadow: 0px 0px 2px rgba(0,0,0,0.2); 147 | } 148 | .reveal blockquote p:first-child, 149 | .reveal blockquote p:last-child { 150 | display: inline-block; 151 | } 152 | 153 | .reveal q { 154 | font-style: italic; 155 | } 156 | 157 | .reveal pre { 158 | display: block; 159 | position: relative; 160 | width: 90%; 161 | margin: $blockMargin auto; 162 | 163 | text-align: left; 164 | font-size: 0.55em; 165 | font-family: monospace; 166 | line-height: 1.2em; 167 | 168 | word-wrap: break-word; 169 | 170 | box-shadow: 0px 0px 6px rgba(0,0,0,0.3); 171 | } 172 | 173 | .reveal code { 174 | font-family: monospace; 175 | text-transform: none; 176 | } 177 | 178 | .reveal pre code { 179 | display: block; 180 | padding: 5px; 181 | overflow: auto; 182 | max-height: 400px; 183 | word-wrap: normal; 184 | } 185 | 186 | .reveal table { 187 | margin: auto; 188 | border-collapse: collapse; 189 | border-spacing: 0; 190 | } 191 | 192 | .reveal table th { 193 | font-weight: bold; 194 | } 195 | 196 | .reveal table th, 197 | .reveal table td { 198 | text-align: left; 199 | padding: 0.2em 0.5em 0.2em 0.5em; 200 | border-bottom: 1px solid; 201 | } 202 | 203 | .reveal table th[align="center"], 204 | .reveal table td[align="center"] { 205 | text-align: center; 206 | } 207 | 208 | .reveal table th[align="right"], 209 | .reveal table td[align="right"] { 210 | text-align: right; 211 | } 212 | 213 | .reveal table tbody tr:last-child th, 214 | .reveal table tbody tr:last-child td { 215 | border-bottom: none; 216 | } 217 | 218 | .reveal sup { 219 | vertical-align: super; 220 | font-size: smaller; 221 | } 222 | .reveal sub { 223 | vertical-align: sub; 224 | font-size: smaller; 225 | } 226 | 227 | .reveal small { 228 | display: inline-block; 229 | font-size: 0.6em; 230 | line-height: 1.2em; 231 | vertical-align: top; 232 | } 233 | 234 | .reveal small * { 235 | vertical-align: top; 236 | } 237 | 238 | 239 | /********************************************* 240 | * LINKS 241 | *********************************************/ 242 | 243 | .reveal a { 244 | color: $linkColor; 245 | text-decoration: none; 246 | 247 | -webkit-transition: color .15s ease; 248 | -moz-transition: color .15s ease; 249 | transition: color .15s ease; 250 | } 251 | .reveal a:hover { 252 | color: $linkColorHover; 253 | 254 | text-shadow: none; 255 | border: none; 256 | } 257 | 258 | .reveal .roll span:after { 259 | color: #fff; 260 | background: darken( $linkColor, 15% ); 261 | } 262 | 263 | 264 | /********************************************* 265 | * IMAGES 266 | *********************************************/ 267 | 268 | .reveal section img { 269 | margin: 15px 0px; 270 | background: rgba(255,255,255,0.12); 271 | border: 4px solid $mainColor; 272 | 273 | box-shadow: 0 0 10px rgba(0, 0, 0, 0.15); 274 | } 275 | 276 | .reveal section img.plain { 277 | border: 0; 278 | box-shadow: none; 279 | } 280 | 281 | .reveal a img { 282 | -webkit-transition: all .15s linear; 283 | -moz-transition: all .15s linear; 284 | transition: all .15s linear; 285 | } 286 | 287 | .reveal a:hover img { 288 | background: rgba(255,255,255,0.2); 289 | border-color: $linkColor; 290 | 291 | box-shadow: 0 0 20px rgba(0, 0, 0, 0.55); 292 | } 293 | 294 | 295 | /********************************************* 296 | * NAVIGATION CONTROLS 297 | *********************************************/ 298 | 299 | .reveal .controls { 300 | color: $linkColor; 301 | } 302 | 303 | 304 | /********************************************* 305 | * PROGRESS BAR 306 | *********************************************/ 307 | 308 | .reveal .progress { 309 | background: rgba(0,0,0,0.2); 310 | color: $linkColor; 311 | } 312 | .reveal .progress span { 313 | -webkit-transition: width 800ms cubic-bezier(0.260, 0.860, 0.440, 0.985); 314 | -moz-transition: width 800ms cubic-bezier(0.260, 0.860, 0.440, 0.985); 315 | transition: width 800ms cubic-bezier(0.260, 0.860, 0.440, 0.985); 316 | } 317 | 318 | /********************************************* 319 | * PRINT BACKGROUND 320 | *********************************************/ 321 | @media print { 322 | .backgrounds { 323 | background-color: $backgroundColor; 324 | } 325 | } 326 | -------------------------------------------------------------------------------- /reveal.js/css/theme/simple.css: -------------------------------------------------------------------------------- 1 | /** 2 | * A simple theme for reveal.js presentations, similar 3 | * to the default theme. The accent color is darkblue. 4 | * 5 | * This theme is Copyright (C) 2012 Owen Versteeg, https://github.com/StereotypicalApps. It is MIT licensed. 6 | * reveal.js is Copyright (C) 2011-2012 Hakim El Hattab, http://hakim.se 7 | */ 8 | @import url(https://fonts.googleapis.com/css?family=News+Cycle:400,700); 9 | @import url(https://fonts.googleapis.com/css?family=Lato:400,700,400italic,700italic); 10 | section.has-dark-background, section.has-dark-background h1, section.has-dark-background h2, section.has-dark-background h3, section.has-dark-background h4, section.has-dark-background h5, section.has-dark-background h6 { 11 | color: #fff; } 12 | 13 | /********************************************* 14 | * GLOBAL STYLES 15 | *********************************************/ 16 | body { 17 | background: #fff; 18 | background-color: #fff; } 19 | 20 | .reveal { 21 | font-family: "Lato", sans-serif; 22 | font-size: 40px; 23 | font-weight: normal; 24 | color: #000; } 25 | 26 | ::selection { 27 | color: #fff; 28 | background: rgba(0, 0, 0, 0.99); 29 | text-shadow: none; } 30 | 31 | ::-moz-selection { 32 | color: #fff; 33 | background: rgba(0, 0, 0, 0.99); 34 | text-shadow: none; } 35 | 36 | .reveal .slides section, 37 | .reveal .slides section > section { 38 | line-height: 1.3; 39 | font-weight: inherit; } 40 | 41 | /********************************************* 42 | * HEADERS 43 | *********************************************/ 44 | .reveal h1, 45 | .reveal h2, 46 | .reveal h3, 47 | .reveal h4, 48 | .reveal h5, 49 | .reveal h6 { 50 | margin: 0 0 20px 0; 51 | color: #000; 52 | font-family: "News Cycle", Impact, sans-serif; 53 | font-weight: normal; 54 | line-height: 1.2; 55 | letter-spacing: normal; 56 | text-transform: none; 57 | text-shadow: none; 58 | word-wrap: break-word; } 59 | 60 | .reveal h1 { 61 | font-size: 3.77em; } 62 | 63 | .reveal h2 { 64 | font-size: 2.11em; } 65 | 66 | .reveal h3 { 67 | font-size: 1.55em; } 68 | 69 | .reveal h4 { 70 | font-size: 1em; } 71 | 72 | .reveal h1 { 73 | text-shadow: none; } 74 | 75 | /********************************************* 76 | * OTHER 77 | *********************************************/ 78 | .reveal p { 79 | margin: 20px 0; 80 | line-height: 1.3; } 81 | 82 | /* Ensure certain elements are never larger than the slide itself */ 83 | .reveal img, 84 | .reveal video, 85 | .reveal iframe { 86 | max-width: 95%; 87 | max-height: 95%; } 88 | 89 | .reveal strong, 90 | .reveal b { 91 | font-weight: bold; } 92 | 93 | .reveal em { 94 | font-style: italic; } 95 | 96 | .reveal ol, 97 | .reveal dl, 98 | .reveal ul { 99 | display: inline-block; 100 | text-align: left; 101 | margin: 0 0 0 1em; } 102 | 103 | .reveal ol { 104 | list-style-type: decimal; } 105 | 106 | .reveal ul { 107 | list-style-type: disc; } 108 | 109 | .reveal ul ul { 110 | list-style-type: square; } 111 | 112 | .reveal ul ul ul { 113 | list-style-type: circle; } 114 | 115 | .reveal ul ul, 116 | .reveal ul ol, 117 | .reveal ol ol, 118 | .reveal ol ul { 119 | display: block; 120 | margin-left: 40px; } 121 | 122 | .reveal dt { 123 | font-weight: bold; } 124 | 125 | .reveal dd { 126 | margin-left: 40px; } 127 | 128 | .reveal blockquote { 129 | display: block; 130 | position: relative; 131 | width: 70%; 132 | margin: 20px auto; 133 | padding: 5px; 134 | font-style: italic; 135 | background: rgba(255, 255, 255, 0.05); 136 | box-shadow: 0px 0px 2px rgba(0, 0, 0, 0.2); } 137 | 138 | .reveal blockquote p:first-child, 139 | .reveal blockquote p:last-child { 140 | display: inline-block; } 141 | 142 | .reveal q { 143 | font-style: italic; } 144 | 145 | .reveal pre { 146 | display: block; 147 | position: relative; 148 | width: 90%; 149 | margin: 20px auto; 150 | text-align: left; 151 | font-size: 0.55em; 152 | font-family: monospace; 153 | line-height: 1.2em; 154 | word-wrap: break-word; 155 | box-shadow: 0px 0px 6px rgba(0, 0, 0, 0.3); } 156 | 157 | .reveal code { 158 | font-family: monospace; 159 | text-transform: none; } 160 | 161 | .reveal pre code { 162 | display: block; 163 | padding: 5px; 164 | overflow: auto; 165 | max-height: 400px; 166 | word-wrap: normal; } 167 | 168 | .reveal table { 169 | margin: auto; 170 | border-collapse: collapse; 171 | border-spacing: 0; } 172 | 173 | .reveal table th { 174 | font-weight: bold; } 175 | 176 | .reveal table th, 177 | .reveal table td { 178 | text-align: left; 179 | padding: 0.2em 0.5em 0.2em 0.5em; 180 | border-bottom: 1px solid; } 181 | 182 | .reveal table th[align="center"], 183 | .reveal table td[align="center"] { 184 | text-align: center; } 185 | 186 | .reveal table th[align="right"], 187 | .reveal table td[align="right"] { 188 | text-align: right; } 189 | 190 | .reveal table tbody tr:last-child th, 191 | .reveal table tbody tr:last-child td { 192 | border-bottom: none; } 193 | 194 | .reveal sup { 195 | vertical-align: super; 196 | font-size: smaller; } 197 | 198 | .reveal sub { 199 | vertical-align: sub; 200 | font-size: smaller; } 201 | 202 | .reveal small { 203 | display: inline-block; 204 | font-size: 0.6em; 205 | line-height: 1.2em; 206 | vertical-align: top; } 207 | 208 | .reveal small * { 209 | vertical-align: top; } 210 | 211 | /********************************************* 212 | * LINKS 213 | *********************************************/ 214 | .reveal a { 215 | color: #00008B; 216 | text-decoration: none; 217 | -webkit-transition: color .15s ease; 218 | -moz-transition: color .15s ease; 219 | transition: color .15s ease; } 220 | 221 | .reveal a:hover { 222 | color: #0000f1; 223 | text-shadow: none; 224 | border: none; } 225 | 226 | .reveal .roll span:after { 227 | color: #fff; 228 | background: #00003f; } 229 | 230 | /********************************************* 231 | * IMAGES 232 | *********************************************/ 233 | .reveal section img { 234 | margin: 15px 0px; 235 | background: rgba(255, 255, 255, 0.12); 236 | border: 4px solid #000; 237 | box-shadow: 0 0 10px rgba(0, 0, 0, 0.15); } 238 | 239 | .reveal section img.plain { 240 | border: 0; 241 | box-shadow: none; } 242 | 243 | .reveal a img { 244 | -webkit-transition: all .15s linear; 245 | -moz-transition: all .15s linear; 246 | transition: all .15s linear; } 247 | 248 | .reveal a:hover img { 249 | background: rgba(255, 255, 255, 0.2); 250 | border-color: #00008B; 251 | box-shadow: 0 0 20px rgba(0, 0, 0, 0.55); } 252 | 253 | /********************************************* 254 | * NAVIGATION CONTROLS 255 | *********************************************/ 256 | .reveal .controls { 257 | color: #00008B; } 258 | 259 | /********************************************* 260 | * PROGRESS BAR 261 | *********************************************/ 262 | .reveal .progress { 263 | background: rgba(0, 0, 0, 0.2); 264 | color: #00008B; } 265 | 266 | .reveal .progress span { 267 | -webkit-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 268 | -moz-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 269 | transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); } 270 | 271 | /********************************************* 272 | * PRINT BACKGROUND 273 | *********************************************/ 274 | @media print { 275 | .backgrounds { 276 | background-color: #fff; } } 277 | -------------------------------------------------------------------------------- /reveal.js/css/theme/sky.css: -------------------------------------------------------------------------------- 1 | /** 2 | * Sky theme for reveal.js. 3 | * 4 | * Copyright (C) 2011-2012 Hakim El Hattab, http://hakim.se 5 | */ 6 | @import url(https://fonts.googleapis.com/css?family=Quicksand:400,700,400italic,700italic); 7 | @import url(https://fonts.googleapis.com/css?family=Open+Sans:400italic,700italic,400,700); 8 | .reveal a { 9 | line-height: 1.3em; } 10 | 11 | /********************************************* 12 | * GLOBAL STYLES 13 | *********************************************/ 14 | body { 15 | background: #add9e4; 16 | background: -moz-radial-gradient(center, circle cover, #f7fbfc 0%, #add9e4 100%); 17 | background: -webkit-gradient(radial, center center, 0px, center center, 100%, color-stop(0%, #f7fbfc), color-stop(100%, #add9e4)); 18 | background: -webkit-radial-gradient(center, circle cover, #f7fbfc 0%, #add9e4 100%); 19 | background: -o-radial-gradient(center, circle cover, #f7fbfc 0%, #add9e4 100%); 20 | background: -ms-radial-gradient(center, circle cover, #f7fbfc 0%, #add9e4 100%); 21 | background: radial-gradient(center, circle cover, #f7fbfc 0%, #add9e4 100%); 22 | background-color: #f7fbfc; } 23 | 24 | .reveal { 25 | font-family: "Open Sans", sans-serif; 26 | font-size: 40px; 27 | font-weight: normal; 28 | color: #333; } 29 | 30 | ::selection { 31 | color: #fff; 32 | background: #134674; 33 | text-shadow: none; } 34 | 35 | ::-moz-selection { 36 | color: #fff; 37 | background: #134674; 38 | text-shadow: none; } 39 | 40 | .reveal .slides section, 41 | .reveal .slides section > section { 42 | line-height: 1.3; 43 | font-weight: inherit; } 44 | 45 | /********************************************* 46 | * HEADERS 47 | *********************************************/ 48 | .reveal h1, 49 | .reveal h2, 50 | .reveal h3, 51 | .reveal h4, 52 | .reveal h5, 53 | .reveal h6 { 54 | margin: 0 0 20px 0; 55 | color: #333; 56 | font-family: "Quicksand", sans-serif; 57 | font-weight: normal; 58 | line-height: 1.2; 59 | letter-spacing: -0.08em; 60 | text-transform: uppercase; 61 | text-shadow: none; 62 | word-wrap: break-word; } 63 | 64 | .reveal h1 { 65 | font-size: 3.77em; } 66 | 67 | .reveal h2 { 68 | font-size: 2.11em; } 69 | 70 | .reveal h3 { 71 | font-size: 1.55em; } 72 | 73 | .reveal h4 { 74 | font-size: 1em; } 75 | 76 | .reveal h1 { 77 | text-shadow: none; } 78 | 79 | /********************************************* 80 | * OTHER 81 | *********************************************/ 82 | .reveal p { 83 | margin: 20px 0; 84 | line-height: 1.3; } 85 | 86 | /* Ensure certain elements are never larger than the slide itself */ 87 | .reveal img, 88 | .reveal video, 89 | .reveal iframe { 90 | max-width: 95%; 91 | max-height: 95%; } 92 | 93 | .reveal strong, 94 | .reveal b { 95 | font-weight: bold; } 96 | 97 | .reveal em { 98 | font-style: italic; } 99 | 100 | .reveal ol, 101 | .reveal dl, 102 | .reveal ul { 103 | display: inline-block; 104 | text-align: left; 105 | margin: 0 0 0 1em; } 106 | 107 | .reveal ol { 108 | list-style-type: decimal; } 109 | 110 | .reveal ul { 111 | list-style-type: disc; } 112 | 113 | .reveal ul ul { 114 | list-style-type: square; } 115 | 116 | .reveal ul ul ul { 117 | list-style-type: circle; } 118 | 119 | .reveal ul ul, 120 | .reveal ul ol, 121 | .reveal ol ol, 122 | .reveal ol ul { 123 | display: block; 124 | margin-left: 40px; } 125 | 126 | .reveal dt { 127 | font-weight: bold; } 128 | 129 | .reveal dd { 130 | margin-left: 40px; } 131 | 132 | .reveal blockquote { 133 | display: block; 134 | position: relative; 135 | width: 70%; 136 | margin: 20px auto; 137 | padding: 5px; 138 | font-style: italic; 139 | background: rgba(255, 255, 255, 0.05); 140 | box-shadow: 0px 0px 2px rgba(0, 0, 0, 0.2); } 141 | 142 | .reveal blockquote p:first-child, 143 | .reveal blockquote p:last-child { 144 | display: inline-block; } 145 | 146 | .reveal q { 147 | font-style: italic; } 148 | 149 | .reveal pre { 150 | display: block; 151 | position: relative; 152 | width: 90%; 153 | margin: 20px auto; 154 | text-align: left; 155 | font-size: 0.55em; 156 | font-family: monospace; 157 | line-height: 1.2em; 158 | word-wrap: break-word; 159 | box-shadow: 0px 0px 6px rgba(0, 0, 0, 0.3); } 160 | 161 | .reveal code { 162 | font-family: monospace; 163 | text-transform: none; } 164 | 165 | .reveal pre code { 166 | display: block; 167 | padding: 5px; 168 | overflow: auto; 169 | max-height: 400px; 170 | word-wrap: normal; } 171 | 172 | .reveal table { 173 | margin: auto; 174 | border-collapse: collapse; 175 | border-spacing: 0; } 176 | 177 | .reveal table th { 178 | font-weight: bold; } 179 | 180 | .reveal table th, 181 | .reveal table td { 182 | text-align: left; 183 | padding: 0.2em 0.5em 0.2em 0.5em; 184 | border-bottom: 1px solid; } 185 | 186 | .reveal table th[align="center"], 187 | .reveal table td[align="center"] { 188 | text-align: center; } 189 | 190 | .reveal table th[align="right"], 191 | .reveal table td[align="right"] { 192 | text-align: right; } 193 | 194 | .reveal table tbody tr:last-child th, 195 | .reveal table tbody tr:last-child td { 196 | border-bottom: none; } 197 | 198 | .reveal sup { 199 | vertical-align: super; 200 | font-size: smaller; } 201 | 202 | .reveal sub { 203 | vertical-align: sub; 204 | font-size: smaller; } 205 | 206 | .reveal small { 207 | display: inline-block; 208 | font-size: 0.6em; 209 | line-height: 1.2em; 210 | vertical-align: top; } 211 | 212 | .reveal small * { 213 | vertical-align: top; } 214 | 215 | /********************************************* 216 | * LINKS 217 | *********************************************/ 218 | .reveal a { 219 | color: #3b759e; 220 | text-decoration: none; 221 | -webkit-transition: color .15s ease; 222 | -moz-transition: color .15s ease; 223 | transition: color .15s ease; } 224 | 225 | .reveal a:hover { 226 | color: #74a7cb; 227 | text-shadow: none; 228 | border: none; } 229 | 230 | .reveal .roll span:after { 231 | color: #fff; 232 | background: #264c66; } 233 | 234 | /********************************************* 235 | * IMAGES 236 | *********************************************/ 237 | .reveal section img { 238 | margin: 15px 0px; 239 | background: rgba(255, 255, 255, 0.12); 240 | border: 4px solid #333; 241 | box-shadow: 0 0 10px rgba(0, 0, 0, 0.15); } 242 | 243 | .reveal section img.plain { 244 | border: 0; 245 | box-shadow: none; } 246 | 247 | .reveal a img { 248 | -webkit-transition: all .15s linear; 249 | -moz-transition: all .15s linear; 250 | transition: all .15s linear; } 251 | 252 | .reveal a:hover img { 253 | background: rgba(255, 255, 255, 0.2); 254 | border-color: #3b759e; 255 | box-shadow: 0 0 20px rgba(0, 0, 0, 0.55); } 256 | 257 | /********************************************* 258 | * NAVIGATION CONTROLS 259 | *********************************************/ 260 | .reveal .controls { 261 | color: #3b759e; } 262 | 263 | /********************************************* 264 | * PROGRESS BAR 265 | *********************************************/ 266 | .reveal .progress { 267 | background: rgba(0, 0, 0, 0.2); 268 | color: #3b759e; } 269 | 270 | .reveal .progress span { 271 | -webkit-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 272 | -moz-transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); 273 | transition: width 800ms cubic-bezier(0.26, 0.86, 0.44, 0.985); } 274 | 275 | /********************************************* 276 | * PRINT BACKGROUND 277 | *********************************************/ 278 | @media print { 279 | .backgrounds { 280 | background-color: #f7fbfc; } } 281 | -------------------------------------------------------------------------------- /misc/stability.txt: -------------------------------------------------------------------------------- 1 | % Stability 2 | 3 | **TODO.** 4 | 5 | - initial focus on $\dot{x} = f(t,x)$, so that later we can consider 6 | $\dot{x} = f(x, u), \; y = g(x, u)$: even if there is no explicit 7 | $t$, there is a time-dependency through $u$. 8 | Work on the well-posedness stuff here. 9 | 10 | - make a try at minimal differential geometry? Would be nice. 11 | Example being the pendulum, better example is the evolution 12 | of rigid bodies. Approach through non-singular constraint 13 | functions and embedding in $\mathbb{R}^n$ ? 14 | Need to 'extend' the rhs to some neighbourghood of the manifold 15 | somehow, but the precise extension does not matter, this is nice. 16 | And in the examples I have in mind, it's pretty easy to build that 17 | extension ... The issue when talking about additional structure 18 | is about compactness? Compact sets in the manifolds are NOT 19 | traces of compact sets. Do they have an simple characterization 20 | (beyond sequences ?)? 21 | 22 | - try Laplace for rational "function" (or generalized) only ? 23 | Dunno really. Dirac as the limit of short-time constant 24 | exponential? Does it make sense? Think of use cases. 25 | At least I'd like to talk about impulse response. 26 | 27 | 28 | Initial-Value Problem 29 | -------------------------------------------------------------------------------- 30 | 31 | Context: 32 | 33 | $$ 34 | \dot{x} = f(x) 35 | $$ 36 | 37 | where $f: U \subset \mathbb{R}^n \to \mathbb{R}^n$, $U$ open. 38 | (Q: open domain $D$ instead ? Nota: we cannot expect global attracitivity 39 | unless $U$ is connected ...) 40 | The Caratheodory conditions that ensure uniqueness and 41 | (local) existence everywhere are met (reduce to locally 42 | Lipschitz here, right ?). 43 | 44 | (Q: focus on $U = \mathbb{R}^n$ ?) 45 | 46 | Nota: ODEs as integral equations. 47 | 48 | (autonomous ODES only so far ...) 49 | 50 | (Nota: (embedded) manifolds ? Probably not realistic.) 51 | 52 | Notation for the solution: 53 | 54 | $x(t)$ or $x(t, x_0)$ or even $x(t, t_0, x_0)$ when needed 55 | (depends on the emphasis that is needed). 56 | 57 | Nota: local existence and uniqueness means (consequence) 58 | that for any $x_0$, the trajectory is 59 | defined on a maximal time interval $\left[0, t_{\infty}\right[$ 60 | where $t_{\infty} \in \left]0, +\infty \right]$ and that 61 | when $t_{\infty} < +\infty$, the solution "approaches the 62 | boundary of $U$ or $\infty$" (find the more palatable variant to 63 | say that it doesn't stay in any compact subset of $U$; subsequence 64 | such that $d(x_n, \partial U) \to 0$ or $|x_n| \to +\infty$ ? 65 | Examples in each case ...) 66 | 67 | Note: global existence first prerequisite for (global) attractivity. 68 | 69 | 70 | 71 | Equilibrium 72 | -------------------------------------------------------------------------------- 73 | 74 | Stability 75 | -------------------------------------------------------------------------------- 76 | 77 | 78 | - Assume that we have already handled equilibrium concept, 79 | explain why having set the right equilibrium is not good enough. 80 | We search for some "robustness". 81 | 82 | - Focus on global concepts first (local later) 83 | 84 | - Focus on asymptotic stability 85 | 86 | - Start with attractivity (the "natural" definition) 87 | 88 | - Show its shortcoming: given a target precision, we can't tell 89 | how much time is needed to get it "convergence speed" 90 | 91 | - Example 92 | 93 | - Small progress: we cannot expect a complete uniformity of the 94 | convergence: consider IV farther away, that makes sense that 95 | such trajectories cannot meet the same objective in the same 96 | amount of time; consider IV near the boundary as a more subtle 97 | example of the same case. 98 | 99 | - Define (G)AS as the uniform convergence towards the equiibrium 100 | wrt any set of initial condition far from infinity and the 101 | boundary. 102 | 103 | - Extra (optional): we only need to require a "local" uniformity 104 | around any IV point to make it work. 105 | 106 | 107 | (Global) attractivity (0 being an equilibrium): 108 | 109 | $$ 110 | \mbox{for every } x_0 \in U, \; 111 | \lim_{t \to +\infty} x(t, x_0) = 0 112 | $$ 113 | 114 | same as 115 | 116 | $$ 117 | \forall \, \epsilon > 0, \; 118 | \forall \, x_0 \in U, \; 119 | \exists \, t_0 > 0, \; 120 | \forall \, t \geq t_0, \; 121 | |x(t, x_0)| < \epsilon. 122 | $$ 123 | 124 | (nota: hence (global) attractivity implicitly requires that for every 125 | initial value in $U$, the solution is defined for all $t$) 126 | 127 | But this concept does not preclude the trajectory to take an arbitrary 128 | long time to meet the (approximate) target. 129 | 130 | Exemple: (polar coords): $\dot{r} = r(1-r)$, $\dot{\theta} = \sin^2 \theta/2$, 131 | $U = \mathbb{R}^2 \setminus \{0\}$, the only equilibrium is $(1,0)$, it is 132 | attractive but not stable. May represent the "quiver" plot and the 133 | evolution of the angle for initial values with $r=1$ and small but 134 | positive angles. 135 | 136 | Therefore, a stronger version of attractivity: we require the 137 | condition above to be met locally uniformly wrt the initial 138 | condition (in a neighbourhood of every points, the trajectories 139 | converge "at the same speed" to the origin): 140 | $$ 141 | \forall \, \epsilon > 0, \; 142 | \forall \, x_0 \in U, \; 143 | \exists \, \delta > 0, 144 | \exists \, t_0 > 0, \; 145 | \forall \, t \geq t_0, \; 146 | \forall \, x_1 \in U, \; 147 | |x_1 - x_0| < \delta \; 148 | \rightarrow 149 | |x(t, x_1)| < \epsilon. 150 | $$ 151 | 152 | Equivalently (compactness argument): 153 | $$ 154 | \forall \, \epsilon > 0, 155 | \forall \, K \subset U, \; K \, \mbox{compact}, \; 156 | \exists \, t_0 > 0, \; 157 | \forall \, x_0 \in K, \; 158 | \forall \, t \geq t_0, \; 159 | |x(t, x_0)| < \epsilon. 160 | $$ 161 | 162 | Nota: this condition above clearly yields attractivity (D'oh!) AND stability. 163 | Conversely, if we assume that the system is globally asymptotically stable, 164 | then the appropriate Lyapunov converse theorem gives us a smooth 165 | definite positive function $V(x)$ with a definite negative 166 | $\dot{V}(x)$ 167 | and with compact sublevel sets 168 | $\{x \in U \, | \, V(x) \leq v\}$ for any $v \in \mathbb{R}$. 169 | Any compact subset $K$ of $U$ is included in some of these sets 170 | (consider an appropriate local open cover of $K$, 171 | max $V$ over each neighbourhood -- compactly included in $U$ --, 172 | extract a finite cover, etc.) 173 | so we may assume take a "new" (possibly larger) $K$ whih is the 174 | sublevel set associated to some value $v_0$. 175 | Now, define 176 | $$ 177 | \alpha(v) = \min \{-\dot{V}(x) \, | \, v \leq V(x) \leq v_0\} 178 | $$ 179 | for $v>0$ and $\alpha(0)$. The funcion $\alpha$ is continous, 180 | zero only for $x = 0$ and non-decreasing. 181 | By construction, we also have $\dot{V}(x) \leq - \alpha(V(x))$. 182 | Now, since the sublevels sets of $V$ are a neighbourhood basis 183 | of $0$, all we have to do is to prove that, 184 | $$ 185 | \lim_{t \to + \infty} \max_{x_0} \{V(x(t, x_0)) \; | \; V(x_0) \leq v_0 \} = 0. 186 | $$ 187 | If the limit was positive instead, say $v_1$, since $V(x(t, x_0))$ 188 | is non-increasing wrt $t$, we would have $v_1 \leq V(x(t, x_0))$ for 189 | all $t$, all thus $\dot{V}(x(t, x_0)) \leq -\alpha(v_1)$ for all $t$, 190 | which would yield a contradiction. 191 | 192 | 193 | **Example streamplot:** 194 | 195 | ![Streamplot](images/streamplot.pdf) 196 | 197 | 198 | ![Prey-predator. Test font size: $2.00$](images/prey-predator.pdf) 199 | 200 | 201 | --------------------------------------------------------------------------------